Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115361245> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2115361245 endingPage "22" @default.
- W2115361245 startingPage "3" @default.
- W2115361245 abstract "Alice&Bob–notation is a simple notation for describing security protocols as sequences of message exchanges. We show that, despite the fact that Alice&Bob–notation does not include explicit control flow constructs, it is possible to make some of these aspects explicit when producing formal protocol models without having to resort to more expressive protocol description languages. We introduce a notion of incremental symbolic run to formally handle message forwarding and conditional abortion. In incremental symbolic runs, we use variables to represent messages that the principals cannot read, and we characterize each of the execution steps in order to build a collection of symbolic subruns of increasing lengths, reflecting the data possessed by the principals up to that point in the execution. We contrast this with the simpler (more standard) approach based on formalizing the behavior of principals by directly interpreting message exchanges as sequences of atomic actions. In particular, we provide a complete characterization of the situations where this simpler approach is adequate and prove that incremental symbolic runs are more expressive in general." @default.
- W2115361245 created "2016-06-24" @default.
- W2115361245 creator A5006730208 @default.
- W2115361245 creator A5017237200 @default.
- W2115361245 creator A5025344654 @default.
- W2115361245 date "2005-07-01" @default.
- W2115361245 modified "2023-09-23" @default.
- W2115361245 title "Deconstructing Alice and Bob" @default.
- W2115361245 cites W1752677809 @default.
- W2115361245 cites W2016402420 @default.
- W2115361245 cites W2029693536 @default.
- W2115361245 cites W2104655005 @default.
- W2115361245 cites W2115361245 @default.
- W2115361245 cites W2175137100 @default.
- W2115361245 cites W3031048092 @default.
- W2115361245 cites W3162919972 @default.
- W2115361245 doi "https://doi.org/10.1016/j.entcs.2005.06.007" @default.
- W2115361245 hasPublicationYear "2005" @default.
- W2115361245 type Work @default.
- W2115361245 sameAs 2115361245 @default.
- W2115361245 citedByCount "17" @default.
- W2115361245 countsByYear W21153612452012 @default.
- W2115361245 countsByYear W21153612452015 @default.
- W2115361245 crossrefType "journal-article" @default.
- W2115361245 hasAuthorship W2115361245A5006730208 @default.
- W2115361245 hasAuthorship W2115361245A5017237200 @default.
- W2115361245 hasAuthorship W2115361245A5025344654 @default.
- W2115361245 hasBestOaLocation W21153612451 @default.
- W2115361245 hasConcept C111472728 @default.
- W2115361245 hasConcept C138885662 @default.
- W2115361245 hasConcept C142724271 @default.
- W2115361245 hasConcept C160191386 @default.
- W2115361245 hasConcept C199360897 @default.
- W2115361245 hasConcept C204787440 @default.
- W2115361245 hasConcept C2524010 @default.
- W2115361245 hasConcept C2777904410 @default.
- W2115361245 hasConcept C2778222013 @default.
- W2115361245 hasConcept C2779639559 @default.
- W2115361245 hasConcept C2780385302 @default.
- W2115361245 hasConcept C2780586882 @default.
- W2115361245 hasConcept C28719098 @default.
- W2115361245 hasConcept C33923547 @default.
- W2115361245 hasConcept C41008148 @default.
- W2115361245 hasConcept C45357846 @default.
- W2115361245 hasConcept C71924100 @default.
- W2115361245 hasConcept C80444323 @default.
- W2115361245 hasConcept C94375191 @default.
- W2115361245 hasConceptScore W2115361245C111472728 @default.
- W2115361245 hasConceptScore W2115361245C138885662 @default.
- W2115361245 hasConceptScore W2115361245C142724271 @default.
- W2115361245 hasConceptScore W2115361245C160191386 @default.
- W2115361245 hasConceptScore W2115361245C199360897 @default.
- W2115361245 hasConceptScore W2115361245C204787440 @default.
- W2115361245 hasConceptScore W2115361245C2524010 @default.
- W2115361245 hasConceptScore W2115361245C2777904410 @default.
- W2115361245 hasConceptScore W2115361245C2778222013 @default.
- W2115361245 hasConceptScore W2115361245C2779639559 @default.
- W2115361245 hasConceptScore W2115361245C2780385302 @default.
- W2115361245 hasConceptScore W2115361245C2780586882 @default.
- W2115361245 hasConceptScore W2115361245C28719098 @default.
- W2115361245 hasConceptScore W2115361245C33923547 @default.
- W2115361245 hasConceptScore W2115361245C41008148 @default.
- W2115361245 hasConceptScore W2115361245C45357846 @default.
- W2115361245 hasConceptScore W2115361245C71924100 @default.
- W2115361245 hasConceptScore W2115361245C80444323 @default.
- W2115361245 hasConceptScore W2115361245C94375191 @default.
- W2115361245 hasIssue "1" @default.
- W2115361245 hasLocation W21153612451 @default.
- W2115361245 hasLocation W21153612452 @default.
- W2115361245 hasOpenAccess W2115361245 @default.
- W2115361245 hasPrimaryLocation W21153612451 @default.
- W2115361245 hasRelatedWork W1485738864 @default.
- W2115361245 hasRelatedWork W1967762279 @default.
- W2115361245 hasRelatedWork W2083338789 @default.
- W2115361245 hasRelatedWork W2090686886 @default.
- W2115361245 hasRelatedWork W2109507516 @default.
- W2115361245 hasRelatedWork W2115361245 @default.
- W2115361245 hasRelatedWork W2137908418 @default.
- W2115361245 hasRelatedWork W2899100898 @default.
- W2115361245 hasRelatedWork W4232172372 @default.
- W2115361245 hasRelatedWork W4232884709 @default.
- W2115361245 hasVolume "135" @default.
- W2115361245 isParatext "false" @default.
- W2115361245 isRetracted "false" @default.
- W2115361245 magId "2115361245" @default.
- W2115361245 workType "article" @default.