Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131921367> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2131921367 abstract "Formal methods are vital for ensuring the security and reliability of the network systems. We propose a promising method to check security properties of cryptographic protocols using logic of events theory. The logic is designed around a message automaton with actions for possible protocol steps including generating new nonces, sending and receiving messages, and performing encryption, decryption and digital signature verification actions. We figure out types for the keys, nonces, and messages of the protocol and present novel proof rules and mechanism for protocol actions, temporal reasoning, and a specialized form of invariance rule. It puts no bound on the size of the principal and requires no state space enumeration. Our main theorem guarantees that any well-typed protocol is robustly safe under attack while reasoning only about the actions of honest principals in the protocol." @default.
- W2131921367 created "2016-06-24" @default.
- W2131921367 creator A5026605594 @default.
- W2131921367 creator A5047250673 @default.
- W2131921367 date "2009-11-01" @default.
- W2131921367 modified "2023-10-16" @default.
- W2131921367 title "Logic of Events for Proving Security Properties of Protocols" @default.
- W2131921367 cites W1569881051 @default.
- W2131921367 cites W1977189131 @default.
- W2131921367 cites W1991354622 @default.
- W2131921367 cites W2052539228 @default.
- W2131921367 cites W2102922499 @default.
- W2131921367 cites W2111477637 @default.
- W2131921367 cites W2151955821 @default.
- W2131921367 cites W2165477067 @default.
- W2131921367 cites W2505612108 @default.
- W2131921367 doi "https://doi.org/10.1109/wism.2009.111" @default.
- W2131921367 hasPublicationYear "2009" @default.
- W2131921367 type Work @default.
- W2131921367 sameAs 2131921367 @default.
- W2131921367 citedByCount "6" @default.
- W2131921367 countsByYear W21319213672015 @default.
- W2131921367 countsByYear W21319213672018 @default.
- W2131921367 countsByYear W21319213672019 @default.
- W2131921367 countsByYear W21319213672021 @default.
- W2131921367 countsByYear W21319213672023 @default.
- W2131921367 crossrefType "proceedings-article" @default.
- W2131921367 hasAuthorship W2131921367A5026605594 @default.
- W2131921367 hasAuthorship W2131921367A5047250673 @default.
- W2131921367 hasConcept C118463975 @default.
- W2131921367 hasConcept C142724271 @default.
- W2131921367 hasConcept C144559511 @default.
- W2131921367 hasConcept C148730421 @default.
- W2131921367 hasConcept C178489894 @default.
- W2131921367 hasConcept C203062551 @default.
- W2131921367 hasConcept C204787440 @default.
- W2131921367 hasConcept C2780385302 @default.
- W2131921367 hasConcept C33884865 @default.
- W2131921367 hasConcept C38652104 @default.
- W2131921367 hasConcept C41008148 @default.
- W2131921367 hasConcept C65302260 @default.
- W2131921367 hasConcept C71924100 @default.
- W2131921367 hasConcept C80444323 @default.
- W2131921367 hasConcept C99138194 @default.
- W2131921367 hasConcept C9996903 @default.
- W2131921367 hasConceptScore W2131921367C118463975 @default.
- W2131921367 hasConceptScore W2131921367C142724271 @default.
- W2131921367 hasConceptScore W2131921367C144559511 @default.
- W2131921367 hasConceptScore W2131921367C148730421 @default.
- W2131921367 hasConceptScore W2131921367C178489894 @default.
- W2131921367 hasConceptScore W2131921367C203062551 @default.
- W2131921367 hasConceptScore W2131921367C204787440 @default.
- W2131921367 hasConceptScore W2131921367C2780385302 @default.
- W2131921367 hasConceptScore W2131921367C33884865 @default.
- W2131921367 hasConceptScore W2131921367C38652104 @default.
- W2131921367 hasConceptScore W2131921367C41008148 @default.
- W2131921367 hasConceptScore W2131921367C65302260 @default.
- W2131921367 hasConceptScore W2131921367C71924100 @default.
- W2131921367 hasConceptScore W2131921367C80444323 @default.
- W2131921367 hasConceptScore W2131921367C99138194 @default.
- W2131921367 hasConceptScore W2131921367C9996903 @default.
- W2131921367 hasLocation W21319213671 @default.
- W2131921367 hasOpenAccess W2131921367 @default.
- W2131921367 hasPrimaryLocation W21319213671 @default.
- W2131921367 hasRelatedWork W1887020306 @default.
- W2131921367 hasRelatedWork W2036707990 @default.
- W2131921367 hasRelatedWork W2112047017 @default.
- W2131921367 hasRelatedWork W2350215162 @default.
- W2131921367 hasRelatedWork W2382634619 @default.
- W2131921367 hasRelatedWork W2394384873 @default.
- W2131921367 hasRelatedWork W2416115311 @default.
- W2131921367 hasRelatedWork W2809524033 @default.
- W2131921367 hasRelatedWork W2939403594 @default.
- W2131921367 hasRelatedWork W3082967883 @default.
- W2131921367 isParatext "false" @default.
- W2131921367 isRetracted "false" @default.
- W2131921367 magId "2131921367" @default.
- W2131921367 workType "article" @default.