Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607134907> ?p ?o ?g. }
- W1607134907 endingPage "283" @default.
- W1607134907 startingPage "223" @default.
- W1607134907 abstract "The primary objective of this paper is to present the definition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It allows the specification of classical security properties (authentication, secrecy and integrity) and also electronic commerce properties (non-repudiation, anonymity, good atomicity, money atomicity, certified delivery, etc.). The logic constructs are interpreted over a trace-based model. Traces reflect valid protocol executions in the presence of a malicious smart intruder. The logic is endowed with a tableau-based proof system that leads to a modular denotational semantics and local model checking." @default.
- W1607134907 created "2016-06-24" @default.
- W1607134907 creator A5028605138 @default.
- W1607134907 creator A5071452551 @default.
- W1607134907 creator A5089512218 @default.
- W1607134907 date "2003-01-01" @default.
- W1607134907 modified "2023-09-27" @default.
- W1607134907 title "A new logic for electronic commerce protocols" @default.
- W1607134907 cites W1502051745 @default.
- W1607134907 cites W15051357 @default.
- W1607134907 cites W1525779663 @default.
- W1607134907 cites W1528878926 @default.
- W1607134907 cites W1539388770 @default.
- W1607134907 cites W1542376810 @default.
- W1607134907 cites W1548312885 @default.
- W1607134907 cites W1562901937 @default.
- W1607134907 cites W1748048233 @default.
- W1607134907 cites W1834151623 @default.
- W1607134907 cites W1867986337 @default.
- W1607134907 cites W190606112 @default.
- W1607134907 cites W1966995096 @default.
- W1607134907 cites W1987379210 @default.
- W1607134907 cites W1991004527 @default.
- W1607134907 cites W1991884788 @default.
- W1607134907 cites W1994386233 @default.
- W1607134907 cites W1994676271 @default.
- W1607134907 cites W2003915781 @default.
- W1607134907 cites W2013672985 @default.
- W1607134907 cites W2029693536 @default.
- W1607134907 cites W2033083292 @default.
- W1607134907 cites W2046213250 @default.
- W1607134907 cites W2048286373 @default.
- W1607134907 cites W2049224403 @default.
- W1607134907 cites W2057260173 @default.
- W1607134907 cites W2074244772 @default.
- W1607134907 cites W2077025369 @default.
- W1607134907 cites W2078142047 @default.
- W1607134907 cites W2078793962 @default.
- W1607134907 cites W2087306890 @default.
- W1607134907 cites W2090144004 @default.
- W1607134907 cites W2093305078 @default.
- W1607134907 cites W2096436720 @default.
- W1607134907 cites W2102922499 @default.
- W1607134907 cites W2105401163 @default.
- W1607134907 cites W2110423379 @default.
- W1607134907 cites W2120600989 @default.
- W1607134907 cites W2128932399 @default.
- W1607134907 cites W2140464851 @default.
- W1607134907 cites W2145415641 @default.
- W1607134907 cites W2148082093 @default.
- W1607134907 cites W2150682469 @default.
- W1607134907 cites W2154568476 @default.
- W1607134907 cites W2161093351 @default.
- W1607134907 cites W2168899388 @default.
- W1607134907 cites W2169908972 @default.
- W1607134907 cites W3144368627 @default.
- W1607134907 cites W3162919972 @default.
- W1607134907 cites W2067580212 @default.
- W1607134907 doi "https://doi.org/10.1016/s0304-3975(02)00364-x" @default.
- W1607134907 hasPublicationYear "2003" @default.
- W1607134907 type Work @default.
- W1607134907 sameAs 1607134907 @default.
- W1607134907 citedByCount "38" @default.
- W1607134907 countsByYear W16071349072013 @default.
- W1607134907 countsByYear W16071349072017 @default.
- W1607134907 countsByYear W16071349072018 @default.
- W1607134907 countsByYear W16071349072019 @default.
- W1607134907 crossrefType "journal-article" @default.
- W1607134907 hasAuthorship W1607134907A5028605138 @default.
- W1607134907 hasAuthorship W1607134907A5071452551 @default.
- W1607134907 hasAuthorship W1607134907A5089512218 @default.
- W1607134907 hasConcept C101468663 @default.
- W1607134907 hasConcept C138885662 @default.
- W1607134907 hasConcept C142724271 @default.
- W1607134907 hasConcept C178005623 @default.
- W1607134907 hasConcept C178489894 @default.
- W1607134907 hasConcept C184337299 @default.
- W1607134907 hasConcept C185592680 @default.
- W1607134907 hasConcept C188027245 @default.
- W1607134907 hasConcept C188045909 @default.
- W1607134907 hasConcept C199360897 @default.
- W1607134907 hasConcept C204787440 @default.
- W1607134907 hasConcept C27508121 @default.
- W1607134907 hasConcept C2776452267 @default.
- W1607134907 hasConcept C2780385302 @default.
- W1607134907 hasConcept C33884865 @default.
- W1607134907 hasConcept C38652104 @default.
- W1607134907 hasConcept C41008148 @default.
- W1607134907 hasConcept C41895202 @default.
- W1607134907 hasConcept C71139939 @default.
- W1607134907 hasConcept C71924100 @default.
- W1607134907 hasConcept C75291252 @default.
- W1607134907 hasConcept C75949130 @default.
- W1607134907 hasConcept C80444323 @default.
- W1607134907 hasConceptScore W1607134907C101468663 @default.
- W1607134907 hasConceptScore W1607134907C138885662 @default.
- W1607134907 hasConceptScore W1607134907C142724271 @default.
- W1607134907 hasConceptScore W1607134907C178005623 @default.