FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045440241> ?p ?o ?g. }

• W2045440241 endingPage "648" @default.
• W2045440241 startingPage "627" @default.
• W2045440241 abstract "Abstract This article describes an approach for the automated verification of mobile systems. Mobile systems are characterized by the explicit notion of location (e.g., sites where they run) and the ability to execute at different locations, yielding a number of security issues. To this aim, we formalize mobile systems as Labeled Kripke Structures, encapsulating the notion of location net that describes the hierarchical nesting of the threads constituting the system. Then, we formalize a generic security-policy specification language that includes rules for expressing and manipulating the code location. In contrast to many other approaches, our technique supports both access control and information flow specification. We developed a prototype framework for model checking of mobile systems. It works directly on the program code (in contrast to most traditional process-algebraic approaches that can model only limited details of mobile systems) and uses abstraction-refinement techniques, based also on location abstractions, to manage the program state space. We experimented with a number of mobile code benchmarks by verifying various security policies. The experimental results demonstrate the validity of the proposed mobile system modeling and policy specification formalisms and highlight the advantages of the model checking-based approach, which combines the validation of security properties with other checks, such as the validation of buffer overflows." @default.
• W2045440241 created "2016-06-24" @default.
• W2045440241 creator A5000938688 @default.
• W2045440241 creator A5071425851 @default.
• W2045440241 creator A5075152083 @default.
• W2045440241 date "2011-09-01" @default.
• W2045440241 modified "2023-09-28" @default.
• W2045440241 title "A model checking-based approach for security policy verification of mobile systems" @default.
• W2045440241 cites W1490005603 @default.
• W2045440241 cites W1505597832 @default.
• W2045440241 cites W1509819701 @default.
• W2045440241 cites W1514446453 @default.
• W2045440241 cites W1530882603 @default.
• W2045440241 cites W1535237014 @default.
• W2045440241 cites W1544309526 @default.
• W2045440241 cites W1556262481 @default.
• W2045440241 cites W1560028438 @default.
• W2045440241 cites W1562679818 @default.
• W2045440241 cites W1562915062 @default.
• W2045440241 cites W1591752798 @default.
• W2045440241 cites W1691700263 @default.
• W2045440241 cites W1756958128 @default.
• W2045440241 cites W1867254752 @default.
• W2045440241 cites W1868818739 @default.
• W2045440241 cites W1991895580 @default.
• W2045440241 cites W1999036879 @default.
• W2045440241 cites W2006267578 @default.
• W2045440241 cites W2034711041 @default.
• W2045440241 cites W2036910349 @default.
• W2045440241 cites W2040060046 @default.
• W2045440241 cites W2042757132 @default.
• W2045440241 cites W2076359144 @default.
• W2045440241 cites W2105357036 @default.
• W2045440241 cites W2118847476 @default.
• W2045440241 cites W2126158321 @default.
• W2045440241 cites W2149706659 @default.
• W2045440241 cites W2161353020 @default.
• W2045440241 cites W2161900907 @default.
• W2045440241 cites W2162895617 @default.
• W2045440241 cites W2169408245 @default.
• W2045440241 cites W2912003593 @default.
• W2045440241 cites W3033386533 @default.
• W2045440241 cites W4250366473 @default.
• W2045440241 cites W4250884204 @default.
• W2045440241 cites W4301467326 @default.
• W2045440241 doi "https://doi.org/10.1007/s00165-010-0159-y" @default.
• W2045440241 hasPublicationYear "2011" @default.
• W2045440241 type Work @default.
• W2045440241 sameAs 2045440241 @default.
• W2045440241 citedByCount "15" @default.
• W2045440241 countsByYear W20454402412014 @default.
• W2045440241 countsByYear W20454402412015 @default.
• W2045440241 countsByYear W20454402412016 @default.
• W2045440241 countsByYear W20454402412017 @default.
• W2045440241 countsByYear W20454402412018 @default.
• W2045440241 countsByYear W20454402412019 @default.
• W2045440241 countsByYear W20454402412020 @default.
• W2045440241 countsByYear W20454402412022 @default.
• W2045440241 crossrefType "journal-article" @default.
• W2045440241 hasAuthorship W2045440241A5000938688 @default.
• W2045440241 hasAuthorship W2045440241A5071425851 @default.
• W2045440241 hasAuthorship W2045440241A5075152083 @default.
• W2045440241 hasBestOaLocation W20454402411 @default.
• W2045440241 hasConcept C110251889 @default.
• W2045440241 hasConcept C111472728 @default.
• W2045440241 hasConcept C111498074 @default.
• W2045440241 hasConcept C120314980 @default.
• W2045440241 hasConcept C124304363 @default.
• W2045440241 hasConcept C138885662 @default.
• W2045440241 hasConcept C154908896 @default.
• W2045440241 hasConcept C171018156 @default.
• W2045440241 hasConcept C199360897 @default.
• W2045440241 hasConcept C202973057 @default.
• W2045440241 hasConcept C24858836 @default.
• W2045440241 hasConcept C2524010 @default.
• W2045440241 hasConcept C33923547 @default.
• W2045440241 hasConcept C38652104 @default.
• W2045440241 hasConcept C41008148 @default.
• W2045440241 hasConcept C80444323 @default.
• W2045440241 hasConceptScore W2045440241C110251889 @default.
• W2045440241 hasConceptScore W2045440241C111472728 @default.
• W2045440241 hasConceptScore W2045440241C111498074 @default.
• W2045440241 hasConceptScore W2045440241C120314980 @default.
• W2045440241 hasConceptScore W2045440241C124304363 @default.
• W2045440241 hasConceptScore W2045440241C138885662 @default.
• W2045440241 hasConceptScore W2045440241C154908896 @default.
• W2045440241 hasConceptScore W2045440241C171018156 @default.
• W2045440241 hasConceptScore W2045440241C199360897 @default.
• W2045440241 hasConceptScore W2045440241C202973057 @default.
• W2045440241 hasConceptScore W2045440241C24858836 @default.
• W2045440241 hasConceptScore W2045440241C2524010 @default.
• W2045440241 hasConceptScore W2045440241C33923547 @default.
• W2045440241 hasConceptScore W2045440241C38652104 @default.
• W2045440241 hasConceptScore W2045440241C41008148 @default.
• W2045440241 hasConceptScore W2045440241C80444323 @default.
• W2045440241 hasIssue "5" @default.
• W2045440241 hasLocation W20454402411 @default.
• W2045440241 hasLocation W20454402412 @default.

• next