Matches in SemOpenAlex for { <https://semopenalex.org/work/W2378661879> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2378661879 abstract "Formal analysis and verification is an essential problem in information security.In this paper,we introduce a compositional verification method and the tool PCL for security protocol verification.The Amended Needham-Schroeder protocol is verified via PCL and proved to satisfy secrecy property.In the verification,the whole protocol is divided into three sub-protocols,which are separately described and verified.Finally,the three separate verifications are composed according to the correspondence of their preconditions and postconditions,thus the secrecy property of the Amended Needham-Schroeder protocol is proved compositionally." @default.
- W2378661879 created "2016-06-24" @default.
- W2378661879 creator A5011083267 @default.
- W2378661879 date "2008-01-01" @default.
- W2378661879 modified "2023-09-26" @default.
- W2378661879 title "Verification of the Amended Needham-Schroeder Protocol Using Protocol Composition Logic PCL" @default.
- W2378661879 hasPublicationYear "2008" @default.
- W2378661879 type Work @default.
- W2378661879 sameAs 2378661879 @default.
- W2378661879 citedByCount "0" @default.
- W2378661879 crossrefType "journal-article" @default.
- W2378661879 hasAuthorship W2378661879A5011083267 @default.
- W2378661879 hasConcept C110251889 @default.
- W2378661879 hasConcept C111472728 @default.
- W2378661879 hasConcept C111498074 @default.
- W2378661879 hasConcept C138885662 @default.
- W2378661879 hasConcept C142724271 @default.
- W2378661879 hasConcept C178489894 @default.
- W2378661879 hasConcept C189950617 @default.
- W2378661879 hasConcept C199360897 @default.
- W2378661879 hasConcept C204787440 @default.
- W2378661879 hasConcept C2776452267 @default.
- W2378661879 hasConcept C2780385302 @default.
- W2378661879 hasConcept C33884865 @default.
- W2378661879 hasConcept C38652104 @default.
- W2378661879 hasConcept C40231798 @default.
- W2378661879 hasConcept C41008148 @default.
- W2378661879 hasConcept C41895202 @default.
- W2378661879 hasConcept C71924100 @default.
- W2378661879 hasConcept C75606506 @default.
- W2378661879 hasConcept C80444323 @default.
- W2378661879 hasConceptScore W2378661879C110251889 @default.
- W2378661879 hasConceptScore W2378661879C111472728 @default.
- W2378661879 hasConceptScore W2378661879C111498074 @default.
- W2378661879 hasConceptScore W2378661879C138885662 @default.
- W2378661879 hasConceptScore W2378661879C142724271 @default.
- W2378661879 hasConceptScore W2378661879C178489894 @default.
- W2378661879 hasConceptScore W2378661879C189950617 @default.
- W2378661879 hasConceptScore W2378661879C199360897 @default.
- W2378661879 hasConceptScore W2378661879C204787440 @default.
- W2378661879 hasConceptScore W2378661879C2776452267 @default.
- W2378661879 hasConceptScore W2378661879C2780385302 @default.
- W2378661879 hasConceptScore W2378661879C33884865 @default.
- W2378661879 hasConceptScore W2378661879C38652104 @default.
- W2378661879 hasConceptScore W2378661879C40231798 @default.
- W2378661879 hasConceptScore W2378661879C41008148 @default.
- W2378661879 hasConceptScore W2378661879C41895202 @default.
- W2378661879 hasConceptScore W2378661879C71924100 @default.
- W2378661879 hasConceptScore W2378661879C75606506 @default.
- W2378661879 hasConceptScore W2378661879C80444323 @default.
- W2378661879 hasLocation W23786618791 @default.
- W2378661879 hasOpenAccess W2378661879 @default.
- W2378661879 hasPrimaryLocation W23786618791 @default.
- W2378661879 hasRelatedWork W1226580021 @default.
- W2378661879 hasRelatedWork W1991144250 @default.
- W2378661879 hasRelatedWork W2020060560 @default.
- W2378661879 hasRelatedWork W2036707990 @default.
- W2378661879 hasRelatedWork W2043569781 @default.
- W2378661879 hasRelatedWork W2044293389 @default.
- W2378661879 hasRelatedWork W2083100565 @default.
- W2378661879 hasRelatedWork W2117402796 @default.
- W2378661879 hasRelatedWork W2120152919 @default.
- W2378661879 hasRelatedWork W2123023809 @default.
- W2378661879 hasRelatedWork W2148512098 @default.
- W2378661879 hasRelatedWork W2168277905 @default.
- W2378661879 hasRelatedWork W2348048141 @default.
- W2378661879 hasRelatedWork W2359858011 @default.
- W2378661879 hasRelatedWork W2387194989 @default.
- W2378661879 hasRelatedWork W2387280617 @default.
- W2378661879 hasRelatedWork W2389907575 @default.
- W2378661879 hasRelatedWork W2391437399 @default.
- W2378661879 hasRelatedWork W2393618349 @default.
- W2378661879 hasRelatedWork W3003355714 @default.
- W2378661879 isParatext "false" @default.
- W2378661879 isRetracted "false" @default.
- W2378661879 magId "2378661879" @default.
- W2378661879 workType "article" @default.