Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022349400> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2022349400 abstract "This paper presents details of a model checker for security protocols, called ASM-SPV (Abstract State Machines-Security Protocols Verifier), which employs the on-the-fly model checking technique as the convenient verification method and directly supports the whole Core- ASM language. Security protocol is modeled as distributed abstract state machines and the property to be verified is specified in form of the CTL (Computation Tree Logic) formula in the model checker. This paper also introduces the features of the model checker in detail and shows the efficiency and usability by taking the verification of the authentication of Helsinki protocol as an example. Then advantages over FDR are presented and the runtime performance and memory consumption are also given compared with that of [mc]square." @default.
- W2022349400 created "2016-06-24" @default.
- W2022349400 creator A5001892532 @default.
- W2022349400 creator A5060470951 @default.
- W2022349400 creator A5061321029 @default.
- W2022349400 creator A5064296665 @default.
- W2022349400 creator A5079155690 @default.
- W2022349400 date "2010-10-01" @default.
- W2022349400 modified "2023-09-28" @default.
- W2022349400 title "ASM-SPV: A Model Checker for Security Protocols" @default.
- W2022349400 cites W1494863586 @default.
- W2022349400 cites W1498334749 @default.
- W2022349400 cites W1813719546 @default.
- W2022349400 cites W1927099252 @default.
- W2022349400 cites W1965163560 @default.
- W2022349400 cites W1967771093 @default.
- W2022349400 cites W1973097078 @default.
- W2022349400 cites W2057249668 @default.
- W2022349400 cites W2133406570 @default.
- W2022349400 cites W2170718011 @default.
- W2022349400 cites W2234536257 @default.
- W2022349400 doi "https://doi.org/10.1109/iihmsp.2010.117" @default.
- W2022349400 hasPublicationYear "2010" @default.
- W2022349400 type Work @default.
- W2022349400 sameAs 2022349400 @default.
- W2022349400 citedByCount "4" @default.
- W2022349400 countsByYear W20223494002012 @default.
- W2022349400 countsByYear W20223494002016 @default.
- W2022349400 countsByYear W20223494002022 @default.
- W2022349400 crossrefType "proceedings-article" @default.
- W2022349400 hasAuthorship W2022349400A5001892532 @default.
- W2022349400 hasAuthorship W2022349400A5060470951 @default.
- W2022349400 hasAuthorship W2022349400A5061321029 @default.
- W2022349400 hasAuthorship W2022349400A5064296665 @default.
- W2022349400 hasAuthorship W2022349400A5079155690 @default.
- W2022349400 hasConcept C110251889 @default.
- W2022349400 hasConcept C111498074 @default.
- W2022349400 hasConcept C111919701 @default.
- W2022349400 hasConcept C120314980 @default.
- W2022349400 hasConcept C142724271 @default.
- W2022349400 hasConcept C145243422 @default.
- W2022349400 hasConcept C167822520 @default.
- W2022349400 hasConcept C170130773 @default.
- W2022349400 hasConcept C178489894 @default.
- W2022349400 hasConcept C198008173 @default.
- W2022349400 hasConcept C199360897 @default.
- W2022349400 hasConcept C204787440 @default.
- W2022349400 hasConcept C2780385302 @default.
- W2022349400 hasConcept C33884865 @default.
- W2022349400 hasConcept C38652104 @default.
- W2022349400 hasConcept C41008148 @default.
- W2022349400 hasConcept C48103436 @default.
- W2022349400 hasConcept C71924100 @default.
- W2022349400 hasConcept C80444323 @default.
- W2022349400 hasConceptScore W2022349400C110251889 @default.
- W2022349400 hasConceptScore W2022349400C111498074 @default.
- W2022349400 hasConceptScore W2022349400C111919701 @default.
- W2022349400 hasConceptScore W2022349400C120314980 @default.
- W2022349400 hasConceptScore W2022349400C142724271 @default.
- W2022349400 hasConceptScore W2022349400C145243422 @default.
- W2022349400 hasConceptScore W2022349400C167822520 @default.
- W2022349400 hasConceptScore W2022349400C170130773 @default.
- W2022349400 hasConceptScore W2022349400C178489894 @default.
- W2022349400 hasConceptScore W2022349400C198008173 @default.
- W2022349400 hasConceptScore W2022349400C199360897 @default.
- W2022349400 hasConceptScore W2022349400C204787440 @default.
- W2022349400 hasConceptScore W2022349400C2780385302 @default.
- W2022349400 hasConceptScore W2022349400C33884865 @default.
- W2022349400 hasConceptScore W2022349400C38652104 @default.
- W2022349400 hasConceptScore W2022349400C41008148 @default.
- W2022349400 hasConceptScore W2022349400C48103436 @default.
- W2022349400 hasConceptScore W2022349400C71924100 @default.
- W2022349400 hasConceptScore W2022349400C80444323 @default.
- W2022349400 hasLocation W20223494001 @default.
- W2022349400 hasOpenAccess W2022349400 @default.
- W2022349400 hasPrimaryLocation W20223494001 @default.
- W2022349400 hasRelatedWork W120135115 @default.
- W2022349400 hasRelatedWork W1592393183 @default.
- W2022349400 hasRelatedWork W2022349400 @default.
- W2022349400 hasRelatedWork W2096786152 @default.
- W2022349400 hasRelatedWork W2150498345 @default.
- W2022349400 hasRelatedWork W2370841479 @default.
- W2022349400 hasRelatedWork W2602673033 @default.
- W2022349400 hasRelatedWork W2741430969 @default.
- W2022349400 hasRelatedWork W2914225034 @default.
- W2022349400 hasRelatedWork W3145679473 @default.
- W2022349400 isParatext "false" @default.
- W2022349400 isRetracted "false" @default.
- W2022349400 magId "2022349400" @default.
- W2022349400 workType "article" @default.