Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126390649> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2126390649 abstract "Guttman presented a model-theoretic approach to establishing security goals in the context of strand space theory. In his approach, a run of the Cryptographic Protocol Shapes Analyzer (cpsa) produces models that determine if a goal is satised. This paper presents a method for extracting a sentence that completely characterizes a run of cpsa. Logical deduction can then be used to determine if a goal is satised. This method has been implemented and is available to all." @default.
- W2126390649 created "2016-06-24" @default.
- W2126390649 creator A5075781365 @default.
- W2126390649 date "2012-04-02" @default.
- W2126390649 modified "2023-09-27" @default.
- W2126390649 title "Deducing Security Goals From Shape Analysis Sentences" @default.
- W2126390649 cites W1541979851 @default.
- W2126390649 cites W1548249447 @default.
- W2126390649 cites W1597908183 @default.
- W2126390649 cites W2001788001 @default.
- W2126390649 cites W2029176884 @default.
- W2126390649 cites W2104655005 @default.
- W2126390649 cites W2613230346 @default.
- W2126390649 hasPublicationYear "2012" @default.
- W2126390649 type Work @default.
- W2126390649 sameAs 2126390649 @default.
- W2126390649 citedByCount "6" @default.
- W2126390649 countsByYear W21263906492014 @default.
- W2126390649 countsByYear W21263906492018 @default.
- W2126390649 countsByYear W21263906492021 @default.
- W2126390649 crossrefType "posted-content" @default.
- W2126390649 hasAuthorship W2126390649A5075781365 @default.
- W2126390649 hasConcept C105795698 @default.
- W2126390649 hasConcept C111919701 @default.
- W2126390649 hasConcept C142724271 @default.
- W2126390649 hasConcept C151730666 @default.
- W2126390649 hasConcept C154945302 @default.
- W2126390649 hasConcept C178489894 @default.
- W2126390649 hasConcept C204321447 @default.
- W2126390649 hasConcept C204787440 @default.
- W2126390649 hasConcept C2777530160 @default.
- W2126390649 hasConcept C2778572836 @default.
- W2126390649 hasConcept C2779343474 @default.
- W2126390649 hasConcept C2780385302 @default.
- W2126390649 hasConcept C2983390893 @default.
- W2126390649 hasConcept C33884865 @default.
- W2126390649 hasConcept C33923547 @default.
- W2126390649 hasConcept C38652104 @default.
- W2126390649 hasConcept C41008148 @default.
- W2126390649 hasConcept C6260981 @default.
- W2126390649 hasConcept C71924100 @default.
- W2126390649 hasConcept C80444323 @default.
- W2126390649 hasConcept C86803240 @default.
- W2126390649 hasConceptScore W2126390649C105795698 @default.
- W2126390649 hasConceptScore W2126390649C111919701 @default.
- W2126390649 hasConceptScore W2126390649C142724271 @default.
- W2126390649 hasConceptScore W2126390649C151730666 @default.
- W2126390649 hasConceptScore W2126390649C154945302 @default.
- W2126390649 hasConceptScore W2126390649C178489894 @default.
- W2126390649 hasConceptScore W2126390649C204321447 @default.
- W2126390649 hasConceptScore W2126390649C204787440 @default.
- W2126390649 hasConceptScore W2126390649C2777530160 @default.
- W2126390649 hasConceptScore W2126390649C2778572836 @default.
- W2126390649 hasConceptScore W2126390649C2779343474 @default.
- W2126390649 hasConceptScore W2126390649C2780385302 @default.
- W2126390649 hasConceptScore W2126390649C2983390893 @default.
- W2126390649 hasConceptScore W2126390649C33884865 @default.
- W2126390649 hasConceptScore W2126390649C33923547 @default.
- W2126390649 hasConceptScore W2126390649C38652104 @default.
- W2126390649 hasConceptScore W2126390649C41008148 @default.
- W2126390649 hasConceptScore W2126390649C6260981 @default.
- W2126390649 hasConceptScore W2126390649C71924100 @default.
- W2126390649 hasConceptScore W2126390649C80444323 @default.
- W2126390649 hasConceptScore W2126390649C86803240 @default.
- W2126390649 hasLocation W21263906491 @default.
- W2126390649 hasOpenAccess W2126390649 @default.
- W2126390649 hasPrimaryLocation W21263906491 @default.
- W2126390649 hasRelatedWork W1513263504 @default.
- W2126390649 hasRelatedWork W1608781359 @default.
- W2126390649 hasRelatedWork W1765180305 @default.
- W2126390649 hasRelatedWork W1872297260 @default.
- W2126390649 hasRelatedWork W1965377774 @default.
- W2126390649 hasRelatedWork W2001265243 @default.
- W2126390649 hasRelatedWork W2007829077 @default.
- W2126390649 hasRelatedWork W2104655005 @default.
- W2126390649 hasRelatedWork W2184131427 @default.
- W2126390649 hasRelatedWork W2184175540 @default.
- W2126390649 hasRelatedWork W221514783 @default.
- W2126390649 hasRelatedWork W2282990539 @default.
- W2126390649 hasRelatedWork W2296197518 @default.
- W2126390649 hasRelatedWork W2341995966 @default.
- W2126390649 hasRelatedWork W2403489983 @default.
- W2126390649 hasRelatedWork W2625553213 @default.
- W2126390649 hasRelatedWork W3029424737 @default.
- W2126390649 hasRelatedWork W98805423 @default.
- W2126390649 hasRelatedWork W2182472493 @default.
- W2126390649 hasRelatedWork W2186499730 @default.
- W2126390649 isParatext "false" @default.
- W2126390649 isRetracted "false" @default.
- W2126390649 magId "2126390649" @default.
- W2126390649 workType "article" @default.