Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487625070> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1487625070 abstract "This paper describes the CAVES attestation protocol and presents a tool-supported analysis showing that the runs of the protocol achieve stated goals. The goals are stated formally by annotating the protocol with logical formulas using the rely-guarantee method. The protocol analysis tool used is the Cryptographic Protocol Shape Analyzer." @default.
- W1487625070 created "2016-06-24" @default.
- W1487625070 creator A5002287033 @default.
- W1487625070 creator A5069090711 @default.
- W1487625070 creator A5069709699 @default.
- W1487625070 creator A5075781365 @default.
- W1487625070 date "2012-07-02" @default.
- W1487625070 modified "2023-09-27" @default.
- W1487625070 title "An Analysis of the CAVES Attestation Protocol using CPSA" @default.
- W1487625070 cites W1482615873 @default.
- W1487625070 cites W1504669610 @default.
- W1487625070 cites W2151491842 @default.
- W1487625070 hasPublicationYear "2012" @default.
- W1487625070 type Work @default.
- W1487625070 sameAs 1487625070 @default.
- W1487625070 citedByCount "4" @default.
- W1487625070 countsByYear W14876250702013 @default.
- W1487625070 countsByYear W14876250702016 @default.
- W1487625070 countsByYear W14876250702020 @default.
- W1487625070 crossrefType "posted-content" @default.
- W1487625070 hasAuthorship W1487625070A5002287033 @default.
- W1487625070 hasAuthorship W1487625070A5069090711 @default.
- W1487625070 hasAuthorship W1487625070A5069709699 @default.
- W1487625070 hasAuthorship W1487625070A5075781365 @default.
- W1487625070 hasConcept C133112747 @default.
- W1487625070 hasConcept C142724271 @default.
- W1487625070 hasConcept C15744967 @default.
- W1487625070 hasConcept C178489894 @default.
- W1487625070 hasConcept C188147891 @default.
- W1487625070 hasConcept C204787440 @default.
- W1487625070 hasConcept C2780385302 @default.
- W1487625070 hasConcept C33884865 @default.
- W1487625070 hasConcept C38652104 @default.
- W1487625070 hasConcept C41008148 @default.
- W1487625070 hasConcept C71924100 @default.
- W1487625070 hasConceptScore W1487625070C133112747 @default.
- W1487625070 hasConceptScore W1487625070C142724271 @default.
- W1487625070 hasConceptScore W1487625070C15744967 @default.
- W1487625070 hasConceptScore W1487625070C178489894 @default.
- W1487625070 hasConceptScore W1487625070C188147891 @default.
- W1487625070 hasConceptScore W1487625070C204787440 @default.
- W1487625070 hasConceptScore W1487625070C2780385302 @default.
- W1487625070 hasConceptScore W1487625070C33884865 @default.
- W1487625070 hasConceptScore W1487625070C38652104 @default.
- W1487625070 hasConceptScore W1487625070C41008148 @default.
- W1487625070 hasConceptScore W1487625070C71924100 @default.
- W1487625070 hasLocation W14876250701 @default.
- W1487625070 hasOpenAccess W1487625070 @default.
- W1487625070 hasPrimaryLocation W14876250701 @default.
- W1487625070 hasRelatedWork W1597343621 @default.
- W1487625070 hasRelatedWork W1814000064 @default.
- W1487625070 hasRelatedWork W1853215850 @default.
- W1487625070 hasRelatedWork W1914854850 @default.
- W1487625070 hasRelatedWork W1926889714 @default.
- W1487625070 hasRelatedWork W1958367842 @default.
- W1487625070 hasRelatedWork W2046856381 @default.
- W1487625070 hasRelatedWork W2074244772 @default.
- W1487625070 hasRelatedWork W2103406585 @default.
- W1487625070 hasRelatedWork W2117402796 @default.
- W1487625070 hasRelatedWork W2118204361 @default.
- W1487625070 hasRelatedWork W2149636957 @default.
- W1487625070 hasRelatedWork W2174624365 @default.
- W1487625070 hasRelatedWork W2340217563 @default.
- W1487625070 hasRelatedWork W2359858011 @default.
- W1487625070 hasRelatedWork W2394470604 @default.
- W1487625070 hasRelatedWork W2514462612 @default.
- W1487625070 hasRelatedWork W3006132324 @default.
- W1487625070 hasRelatedWork W3164325269 @default.
- W1487625070 hasRelatedWork W3132024925 @default.
- W1487625070 isParatext "false" @default.
- W1487625070 isRetracted "false" @default.
- W1487625070 magId "1487625070" @default.
- W1487625070 workType "article" @default.