Matches in SemOpenAlex for { <https://semopenalex.org/work/W2472673498> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2472673498 abstract "<p>The events of a security protocol and their causal dependency<br />can play an important role in the analysis of security properties.<br /> This insight underlies both strand spaces and the inductive<br />method. But neither of these approaches builds up the events of<br />a protocol in a compositional way, so that there is an informal<br />spring from the protocol to its model. By broadening the models<br />to certain kinds of Petri nets, a restricted form of contextual nets,<br />a compositional event-based semantics is given to an economical,<br />but expressive, language for describing security protocols; so the<br />events and dependency of a wide range of protocols are determined<br /> once and for all. The net semantics is formally related to a<br />transition semantics, strand spaces and inductive rules, as well as<br />trace languages and event structures, so unifying a range of <br />approaches, as well as providing conditions under which particular,<br />more limited, models are adequate for the analysis of protocols.<br />The net semantics allows the derivation of general properties and<br />proof principles which are demonstrated in establishing an <br />authentication property, following a diagrammatic style of proof.</p>" @default.
- W2472673498 created "2016-07-22" @default.
- W2472673498 creator A5016715700 @default.
- W2472673498 creator A5062948122 @default.
- W2472673498 date "2001-04-13" @default.
- W2472673498 modified "2023-10-04" @default.
- W2472673498 title "Events in Security Protocols" @default.
- W2472673498 doi "https://doi.org/10.7146/brics.v8i13.20470" @default.
- W2472673498 hasPublicationYear "2001" @default.
- W2472673498 type Work @default.
- W2472673498 sameAs 2472673498 @default.
- W2472673498 citedByCount "7" @default.
- W2472673498 countsByYear W24726734982013 @default.
- W2472673498 countsByYear W24726734982016 @default.
- W2472673498 countsByYear W24726734982018 @default.
- W2472673498 countsByYear W24726734982022 @default.
- W2472673498 crossrefType "journal-article" @default.
- W2472673498 hasAuthorship W2472673498A5016715700 @default.
- W2472673498 hasAuthorship W2472673498A5062948122 @default.
- W2472673498 hasBestOaLocation W24726734981 @default.
- W2472673498 hasConcept C111472728 @default.
- W2472673498 hasConcept C118615104 @default.
- W2472673498 hasConcept C121332964 @default.
- W2472673498 hasConcept C138885662 @default.
- W2472673498 hasConcept C142724271 @default.
- W2472673498 hasConcept C154945302 @default.
- W2472673498 hasConcept C184337299 @default.
- W2472673498 hasConcept C189950617 @default.
- W2472673498 hasConcept C19768560 @default.
- W2472673498 hasConcept C199360897 @default.
- W2472673498 hasConcept C204787440 @default.
- W2472673498 hasConcept C2779662365 @default.
- W2472673498 hasConcept C2780385302 @default.
- W2472673498 hasConcept C33923547 @default.
- W2472673498 hasConcept C38677869 @default.
- W2472673498 hasConcept C41008148 @default.
- W2472673498 hasConcept C41895202 @default.
- W2472673498 hasConcept C62520636 @default.
- W2472673498 hasConcept C71924100 @default.
- W2472673498 hasConcept C75291252 @default.
- W2472673498 hasConcept C80444323 @default.
- W2472673498 hasConceptScore W2472673498C111472728 @default.
- W2472673498 hasConceptScore W2472673498C118615104 @default.
- W2472673498 hasConceptScore W2472673498C121332964 @default.
- W2472673498 hasConceptScore W2472673498C138885662 @default.
- W2472673498 hasConceptScore W2472673498C142724271 @default.
- W2472673498 hasConceptScore W2472673498C154945302 @default.
- W2472673498 hasConceptScore W2472673498C184337299 @default.
- W2472673498 hasConceptScore W2472673498C189950617 @default.
- W2472673498 hasConceptScore W2472673498C19768560 @default.
- W2472673498 hasConceptScore W2472673498C199360897 @default.
- W2472673498 hasConceptScore W2472673498C204787440 @default.
- W2472673498 hasConceptScore W2472673498C2779662365 @default.
- W2472673498 hasConceptScore W2472673498C2780385302 @default.
- W2472673498 hasConceptScore W2472673498C33923547 @default.
- W2472673498 hasConceptScore W2472673498C38677869 @default.
- W2472673498 hasConceptScore W2472673498C41008148 @default.
- W2472673498 hasConceptScore W2472673498C41895202 @default.
- W2472673498 hasConceptScore W2472673498C62520636 @default.
- W2472673498 hasConceptScore W2472673498C71924100 @default.
- W2472673498 hasConceptScore W2472673498C75291252 @default.
- W2472673498 hasConceptScore W2472673498C80444323 @default.
- W2472673498 hasIssue "13" @default.
- W2472673498 hasLocation W24726734981 @default.
- W2472673498 hasLocation W24726734982 @default.
- W2472673498 hasOpenAccess W2472673498 @default.
- W2472673498 hasPrimaryLocation W24726734981 @default.
- W2472673498 hasRelatedWork W1483412176 @default.
- W2472673498 hasRelatedWork W1537559372 @default.
- W2472673498 hasRelatedWork W1560330117 @default.
- W2472673498 hasRelatedWork W1598274777 @default.
- W2472673498 hasRelatedWork W2023209100 @default.
- W2472673498 hasRelatedWork W2139282056 @default.
- W2472673498 hasRelatedWork W2369494673 @default.
- W2472673498 hasRelatedWork W2598596948 @default.
- W2472673498 hasRelatedWork W2783548027 @default.
- W2472673498 hasRelatedWork W2584758478 @default.
- W2472673498 hasVolume "8" @default.
- W2472673498 isParatext "false" @default.
- W2472673498 isRetracted "false" @default.
- W2472673498 magId "2472673498" @default.
- W2472673498 workType "article" @default.