Matches in SemOpenAlex for { <https://semopenalex.org/work/W2369722586> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2369722586 abstract "The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method. The traditional methods may not be suitable for description or not suitable for verification. In this paper, we introduce temporal logic operator into Construct Categorical Algebra for specification and verification of cryptographic protocol, we modeling both the protocol and the intruder, and deduce its security property with the use of temporal logic. With its application on Equicrypt protocol, we conclude that its an effective method on description and verification of cryptographic protocol." @default.
- W2369722586 created "2016-06-24" @default.
- W2369722586 creator A5024261193 @default.
- W2369722586 date "2004-01-01" @default.
- W2369722586 modified "2023-09-23" @default.
- W2369722586 title "Using construct categorical algebra language for formal description of cryptographic protocol" @default.
- W2369722586 hasPublicationYear "2004" @default.
- W2369722586 type Work @default.
- W2369722586 sameAs 2369722586 @default.
- W2369722586 citedByCount "0" @default.
- W2369722586 crossrefType "journal-article" @default.
- W2369722586 hasAuthorship W2369722586A5024261193 @default.
- W2369722586 hasConcept C111472728 @default.
- W2369722586 hasConcept C11413529 @default.
- W2369722586 hasConcept C119857082 @default.
- W2369722586 hasConcept C138885662 @default.
- W2369722586 hasConcept C142724271 @default.
- W2369722586 hasConcept C15927051 @default.
- W2369722586 hasConcept C178489894 @default.
- W2369722586 hasConcept C189950617 @default.
- W2369722586 hasConcept C199360897 @default.
- W2369722586 hasConcept C204787440 @default.
- W2369722586 hasConcept C25016198 @default.
- W2369722586 hasConcept C2780385302 @default.
- W2369722586 hasConcept C2780801425 @default.
- W2369722586 hasConcept C33884865 @default.
- W2369722586 hasConcept C41008148 @default.
- W2369722586 hasConcept C5274069 @default.
- W2369722586 hasConcept C71924100 @default.
- W2369722586 hasConcept C75606506 @default.
- W2369722586 hasConcept C80444323 @default.
- W2369722586 hasConceptScore W2369722586C111472728 @default.
- W2369722586 hasConceptScore W2369722586C11413529 @default.
- W2369722586 hasConceptScore W2369722586C119857082 @default.
- W2369722586 hasConceptScore W2369722586C138885662 @default.
- W2369722586 hasConceptScore W2369722586C142724271 @default.
- W2369722586 hasConceptScore W2369722586C15927051 @default.
- W2369722586 hasConceptScore W2369722586C178489894 @default.
- W2369722586 hasConceptScore W2369722586C189950617 @default.
- W2369722586 hasConceptScore W2369722586C199360897 @default.
- W2369722586 hasConceptScore W2369722586C204787440 @default.
- W2369722586 hasConceptScore W2369722586C25016198 @default.
- W2369722586 hasConceptScore W2369722586C2780385302 @default.
- W2369722586 hasConceptScore W2369722586C2780801425 @default.
- W2369722586 hasConceptScore W2369722586C33884865 @default.
- W2369722586 hasConceptScore W2369722586C41008148 @default.
- W2369722586 hasConceptScore W2369722586C5274069 @default.
- W2369722586 hasConceptScore W2369722586C71924100 @default.
- W2369722586 hasConceptScore W2369722586C75606506 @default.
- W2369722586 hasConceptScore W2369722586C80444323 @default.
- W2369722586 hasOpenAccess W2369722586 @default.
- W2369722586 hasRelatedWork W1491549471 @default.
- W2369722586 hasRelatedWork W1579989646 @default.
- W2369722586 hasRelatedWork W1581922034 @default.
- W2369722586 hasRelatedWork W1853215850 @default.
- W2369722586 hasRelatedWork W2076527924 @default.
- W2369722586 hasRelatedWork W2081888787 @default.
- W2369722586 hasRelatedWork W2081927093 @default.
- W2369722586 hasRelatedWork W2090144004 @default.
- W2369722586 hasRelatedWork W2115382662 @default.
- W2369722586 hasRelatedWork W2148512098 @default.
- W2369722586 hasRelatedWork W2151955821 @default.
- W2369722586 hasRelatedWork W2169923303 @default.
- W2369722586 hasRelatedWork W2351521370 @default.
- W2369722586 hasRelatedWork W2360199299 @default.
- W2369722586 hasRelatedWork W2394470604 @default.
- W2369722586 hasRelatedWork W2534729944 @default.
- W2369722586 hasRelatedWork W288661550 @default.
- W2369722586 hasRelatedWork W3094700539 @default.
- W2369722586 hasRelatedWork W66756909 @default.
- W2369722586 hasRelatedWork W2612924960 @default.
- W2369722586 isParatext "false" @default.
- W2369722586 isRetracted "false" @default.
- W2369722586 magId "2369722586" @default.
- W2369722586 workType "article" @default.