Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996281641> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1996281641 abstract "In this paper we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the binding of local constants to role instances, and explicitly defined initial intruder knowledge. We validate our framework by analyzing the Needham-Schroeder-Lowe protocol." @default.
- W1996281641 created "2016-06-24" @default.
- W1996281641 creator A5018306510 @default.
- W1996281641 creator A5036991160 @default.
- W1996281641 creator A5078783081 @default.
- W1996281641 creator A5089228487 @default.
- W1996281641 date "2010-09-01" @default.
- W1996281641 modified "2023-09-27" @default.
- W1996281641 title "Modeling security protocols using operational semantics" @default.
- W1996281641 cites W2010939995 @default.
- W1996281641 cites W2029693536 @default.
- W1996281641 cites W2146973388 @default.
- W1996281641 cites W2896471304 @default.
- W1996281641 cites W3013607954 @default.
- W1996281641 cites W2685983232 @default.
- W1996281641 doi "https://doi.org/10.1109/iceit.2010.5608394" @default.
- W1996281641 hasPublicationYear "2010" @default.
- W1996281641 type Work @default.
- W1996281641 sameAs 1996281641 @default.
- W1996281641 citedByCount "0" @default.
- W1996281641 crossrefType "proceedings-article" @default.
- W1996281641 hasAuthorship W1996281641A5018306510 @default.
- W1996281641 hasAuthorship W1996281641A5036991160 @default.
- W1996281641 hasAuthorship W1996281641A5078783081 @default.
- W1996281641 hasAuthorship W1996281641A5089228487 @default.
- W1996281641 hasConcept C11413529 @default.
- W1996281641 hasConcept C121822524 @default.
- W1996281641 hasConcept C138885662 @default.
- W1996281641 hasConcept C142724271 @default.
- W1996281641 hasConcept C156325763 @default.
- W1996281641 hasConcept C165464430 @default.
- W1996281641 hasConcept C178489894 @default.
- W1996281641 hasConcept C184337299 @default.
- W1996281641 hasConcept C199360897 @default.
- W1996281641 hasConcept C204787440 @default.
- W1996281641 hasConcept C2779808786 @default.
- W1996281641 hasConcept C2780385302 @default.
- W1996281641 hasConcept C33884865 @default.
- W1996281641 hasConcept C38652104 @default.
- W1996281641 hasConcept C41008148 @default.
- W1996281641 hasConcept C41895202 @default.
- W1996281641 hasConcept C71924100 @default.
- W1996281641 hasConcept C80444323 @default.
- W1996281641 hasConceptScore W1996281641C11413529 @default.
- W1996281641 hasConceptScore W1996281641C121822524 @default.
- W1996281641 hasConceptScore W1996281641C138885662 @default.
- W1996281641 hasConceptScore W1996281641C142724271 @default.
- W1996281641 hasConceptScore W1996281641C156325763 @default.
- W1996281641 hasConceptScore W1996281641C165464430 @default.
- W1996281641 hasConceptScore W1996281641C178489894 @default.
- W1996281641 hasConceptScore W1996281641C184337299 @default.
- W1996281641 hasConceptScore W1996281641C199360897 @default.
- W1996281641 hasConceptScore W1996281641C204787440 @default.
- W1996281641 hasConceptScore W1996281641C2779808786 @default.
- W1996281641 hasConceptScore W1996281641C2780385302 @default.
- W1996281641 hasConceptScore W1996281641C33884865 @default.
- W1996281641 hasConceptScore W1996281641C38652104 @default.
- W1996281641 hasConceptScore W1996281641C41008148 @default.
- W1996281641 hasConceptScore W1996281641C41895202 @default.
- W1996281641 hasConceptScore W1996281641C71924100 @default.
- W1996281641 hasConceptScore W1996281641C80444323 @default.
- W1996281641 hasLocation W19962816411 @default.
- W1996281641 hasOpenAccess W1996281641 @default.
- W1996281641 hasPrimaryLocation W19962816411 @default.
- W1996281641 hasRelatedWork W1489972580 @default.
- W1996281641 hasRelatedWork W1503660839 @default.
- W1996281641 hasRelatedWork W1520260193 @default.
- W1996281641 hasRelatedWork W1522185018 @default.
- W1996281641 hasRelatedWork W1527974336 @default.
- W1996281641 hasRelatedWork W1548945677 @default.
- W1996281641 hasRelatedWork W1580671553 @default.
- W1996281641 hasRelatedWork W1684428352 @default.
- W1996281641 hasRelatedWork W1987574012 @default.
- W1996281641 hasRelatedWork W2030664040 @default.
- W1996281641 hasRelatedWork W2033747706 @default.
- W1996281641 hasRelatedWork W2067797538 @default.
- W1996281641 hasRelatedWork W2140546312 @default.
- W1996281641 hasRelatedWork W2151256982 @default.
- W1996281641 hasRelatedWork W2166185597 @default.
- W1996281641 hasRelatedWork W2227701282 @default.
- W1996281641 hasRelatedWork W2269601462 @default.
- W1996281641 hasRelatedWork W2357170575 @default.
- W1996281641 hasRelatedWork W2390002876 @default.
- W1996281641 hasRelatedWork W2807853195 @default.
- W1996281641 isParatext "false" @default.
- W1996281641 isRetracted "false" @default.
- W1996281641 magId "1996281641" @default.
- W1996281641 workType "article" @default.