Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128844732> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2128844732 endingPage "89" @default.
- W2128844732 startingPage "67" @default.
- W2128844732 abstract "We introduce a version of distributed temporal logic for rigorously formalizing and proving metalevel properties of different protocol models, and establishing relationships between models. The resulting logic is quite expressive and provides a natural, intuitive language for formalizing both local (agent specific) and global properties of distributed communicating processes. Through a sequence of examples, we show how this logic may be applied to formalize and establish the correctness of different modeling and simplification techniques, which play a role in building effective protocol tools." @default.
- W2128844732 created "2016-06-24" @default.
- W2128844732 creator A5006730208 @default.
- W2128844732 creator A5017237200 @default.
- W2128844732 creator A5025344654 @default.
- W2128844732 date "2005-03-01" @default.
- W2128844732 modified "2023-09-23" @default.
- W2128844732 title "Metareasoning about Security Protocols using Distributed Temporal Logic" @default.
- W2128844732 cites W1569881051 @default.
- W2128844732 cites W1987035270 @default.
- W2128844732 cites W2007164449 @default.
- W2128844732 cites W2104655005 @default.
- W2128844732 cites W3162919972 @default.
- W2128844732 doi "https://doi.org/10.1016/j.entcs.2004.05.020" @default.
- W2128844732 hasPublicationYear "2005" @default.
- W2128844732 type Work @default.
- W2128844732 sameAs 2128844732 @default.
- W2128844732 citedByCount "27" @default.
- W2128844732 countsByYear W21288447322012 @default.
- W2128844732 countsByYear W21288447322013 @default.
- W2128844732 countsByYear W21288447322015 @default.
- W2128844732 countsByYear W21288447322019 @default.
- W2128844732 countsByYear W21288447322022 @default.
- W2128844732 crossrefType "journal-article" @default.
- W2128844732 hasAuthorship W2128844732A5006730208 @default.
- W2128844732 hasAuthorship W2128844732A5017237200 @default.
- W2128844732 hasAuthorship W2128844732A5025344654 @default.
- W2128844732 hasBestOaLocation W21288447321 @default.
- W2128844732 hasConcept C102993220 @default.
- W2128844732 hasConcept C11648818 @default.
- W2128844732 hasConcept C120314980 @default.
- W2128844732 hasConcept C142724271 @default.
- W2128844732 hasConcept C162670838 @default.
- W2128844732 hasConcept C199360897 @default.
- W2128844732 hasConcept C204787440 @default.
- W2128844732 hasConcept C25016198 @default.
- W2128844732 hasConcept C2778112365 @default.
- W2128844732 hasConcept C2780385302 @default.
- W2128844732 hasConcept C41008148 @default.
- W2128844732 hasConcept C4777664 @default.
- W2128844732 hasConcept C54355233 @default.
- W2128844732 hasConcept C55439883 @default.
- W2128844732 hasConcept C71924100 @default.
- W2128844732 hasConcept C80444323 @default.
- W2128844732 hasConcept C86803240 @default.
- W2128844732 hasConceptScore W2128844732C102993220 @default.
- W2128844732 hasConceptScore W2128844732C11648818 @default.
- W2128844732 hasConceptScore W2128844732C120314980 @default.
- W2128844732 hasConceptScore W2128844732C142724271 @default.
- W2128844732 hasConceptScore W2128844732C162670838 @default.
- W2128844732 hasConceptScore W2128844732C199360897 @default.
- W2128844732 hasConceptScore W2128844732C204787440 @default.
- W2128844732 hasConceptScore W2128844732C25016198 @default.
- W2128844732 hasConceptScore W2128844732C2778112365 @default.
- W2128844732 hasConceptScore W2128844732C2780385302 @default.
- W2128844732 hasConceptScore W2128844732C41008148 @default.
- W2128844732 hasConceptScore W2128844732C4777664 @default.
- W2128844732 hasConceptScore W2128844732C54355233 @default.
- W2128844732 hasConceptScore W2128844732C55439883 @default.
- W2128844732 hasConceptScore W2128844732C71924100 @default.
- W2128844732 hasConceptScore W2128844732C80444323 @default.
- W2128844732 hasConceptScore W2128844732C86803240 @default.
- W2128844732 hasIssue "1" @default.
- W2128844732 hasLocation W21288447321 @default.
- W2128844732 hasLocation W21288447322 @default.
- W2128844732 hasOpenAccess W2128844732 @default.
- W2128844732 hasPrimaryLocation W21288447321 @default.
- W2128844732 hasRelatedWork W1513903619 @default.
- W2128844732 hasRelatedWork W1546948343 @default.
- W2128844732 hasRelatedWork W2051068608 @default.
- W2128844732 hasRelatedWork W2114609077 @default.
- W2128844732 hasRelatedWork W2117107687 @default.
- W2128844732 hasRelatedWork W2128844732 @default.
- W2128844732 hasRelatedWork W2180066852 @default.
- W2128844732 hasRelatedWork W2349696246 @default.
- W2128844732 hasRelatedWork W2395144056 @default.
- W2128844732 hasRelatedWork W4360918564 @default.
- W2128844732 hasVolume "125" @default.
- W2128844732 isParatext "false" @default.
- W2128844732 isRetracted "false" @default.
- W2128844732 magId "2128844732" @default.
- W2128844732 workType "article" @default.