Matches in SemOpenAlex for { <https://semopenalex.org/work/W1872297260> ?p ?o ?g. }
- W1872297260 endingPage "267" @default.
- W1872297260 startingPage "203" @default.
- W1872297260 abstract "We take a model-theoretic viewpoint on security goals and how to establish them. The models are (possibly fragmentary) executions. Security goals such as authentication and confidentiality are geometric sequents, i.e. implications Φ→Ψ where Φ and Ψ are built from atomic formulas without negations, implications, or universal quantifiers. Security goals are then statements about homomorphisms, where the source is a minimal (fragmentary) model of the antecedent Φ. If every homomorphism to a non-fragmentary, complete execution factors through a model in which Ψ is satisfied, then the goal is achieved. One can validate security goals via a process of information enrichment. We call this approach enrich-by-need protocol analysis. This idea also clarifies protocol transformation. A protocol transformation preserves security goals when it preserves the form of the information enrichment process. We formalize this idea using simulation relations between labeled transition systems. These labeled transition systems formalize the analysis of the protocols, i.e. the information enrichment process, not the execution behavior of the protocols." @default.
- W1872297260 created "2016-06-24" @default.
- W1872297260 creator A5069090711 @default.
- W1872297260 date "2014-02-20" @default.
- W1872297260 modified "2023-09-23" @default.
- W1872297260 title "Establishing and preserving protocol security goals" @default.
- W1872297260 cites W1482615873 @default.
- W1872297260 cites W1499934958 @default.
- W1872297260 cites W1505522548 @default.
- W1872297260 cites W1513741154 @default.
- W1872297260 cites W1521883036 @default.
- W1872297260 cites W1532961226 @default.
- W1872297260 cites W1536580911 @default.
- W1872297260 cites W1541979851 @default.
- W1872297260 cites W1542190420 @default.
- W1872297260 cites W1548249447 @default.
- W1872297260 cites W1555936145 @default.
- W1872297260 cites W1597908183 @default.
- W1872297260 cites W1602381506 @default.
- W1872297260 cites W1681146363 @default.
- W1872297260 cites W1779054477 @default.
- W1872297260 cites W1898534315 @default.
- W1872297260 cites W1907943060 @default.
- W1872297260 cites W1987035270 @default.
- W1872297260 cites W1990448153 @default.
- W1872297260 cites W1991884788 @default.
- W1872297260 cites W1993144154 @default.
- W1872297260 cites W2001788001 @default.
- W1872297260 cites W2003915781 @default.
- W1872297260 cites W2007909731 @default.
- W1872297260 cites W2043773242 @default.
- W1872297260 cites W2058014492 @default.
- W1872297260 cites W2073385346 @default.
- W1872297260 cites W2095757617 @default.
- W1872297260 cites W2095760637 @default.
- W1872297260 cites W2098588231 @default.
- W1872297260 cites W2100824083 @default.
- W1872297260 cites W2104655005 @default.
- W1872297260 cites W2105750191 @default.
- W1872297260 cites W2107515440 @default.
- W1872297260 cites W2110423379 @default.
- W1872297260 cites W2110712507 @default.
- W1872297260 cites W2114189125 @default.
- W1872297260 cites W2114497629 @default.
- W1872297260 cites W2115674733 @default.
- W1872297260 cites W2121634453 @default.
- W1872297260 cites W2124030056 @default.
- W1872297260 cites W2125226998 @default.
- W1872297260 cites W2126338744 @default.
- W1872297260 cites W2126390649 @default.
- W1872297260 cites W2136859846 @default.
- W1872297260 cites W2145415641 @default.
- W1872297260 cites W2146681155 @default.
- W1872297260 cites W2146973388 @default.
- W1872297260 cites W2150438708 @default.
- W1872297260 cites W2153662813 @default.
- W1872297260 cites W2153921791 @default.
- W1872297260 cites W2155032609 @default.
- W1872297260 cites W2169374412 @default.
- W1872297260 cites W2170718011 @default.
- W1872297260 cites W2174624365 @default.
- W1872297260 cites W2176696677 @default.
- W1872297260 cites W2400049039 @default.
- W1872297260 cites W2525331187 @default.
- W1872297260 cites W3029424737 @default.
- W1872297260 cites W3145687310 @default.
- W1872297260 cites W314669463 @default.
- W1872297260 cites W1811341931 @default.
- W1872297260 cites W2511765115 @default.
- W1872297260 cites W2739335519 @default.
- W1872297260 doi "https://doi.org/10.3233/jcs-140499" @default.
- W1872297260 hasPublicationYear "2014" @default.
- W1872297260 type Work @default.
- W1872297260 sameAs 1872297260 @default.
- W1872297260 citedByCount "20" @default.
- W1872297260 countsByYear W18722972602014 @default.
- W1872297260 countsByYear W18722972602015 @default.
- W1872297260 countsByYear W18722972602017 @default.
- W1872297260 countsByYear W18722972602018 @default.
- W1872297260 countsByYear W18722972602019 @default.
- W1872297260 countsByYear W18722972602021 @default.
- W1872297260 countsByYear W18722972602022 @default.
- W1872297260 crossrefType "journal-article" @default.
- W1872297260 hasAuthorship W1872297260A5069090711 @default.
- W1872297260 hasBestOaLocation W18722972602 @default.
- W1872297260 hasConcept C104317684 @default.
- W1872297260 hasConcept C118615104 @default.
- W1872297260 hasConcept C142724271 @default.
- W1872297260 hasConcept C178489894 @default.
- W1872297260 hasConcept C185592680 @default.
- W1872297260 hasConcept C199360897 @default.
- W1872297260 hasConcept C204241405 @default.
- W1872297260 hasConcept C204787440 @default.
- W1872297260 hasConcept C2185349 @default.
- W1872297260 hasConcept C2780385302 @default.
- W1872297260 hasConcept C33884865 @default.
- W1872297260 hasConcept C33923547 @default.
- W1872297260 hasConcept C38652104 @default.