Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487515042> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2487515042 abstract "This chapter concerns the correct and reliable design of modern security protocols. It discusses the importance of formal verification of security protocols prior to their release by publication or implementation. A discussion on logic-based verification of security protocols and its automation provides the reader with an overview of the current state-of-the-art of formal verification of security protocols. The authors propose a formal verification centred development process for security protocols. This process provides strong confidence in the correctness and reliability of the designed protocols. Thus, the usage of weak security protocols in communication systems is prevented. A case-study on the development of a security protocol demonstrates the advantages of the proposed approach. The case-study concludes with remarks on the performance of automated logic-based verification and presents an overview of formal verification results of a range of modern security protocols." @default.
- W2487515042 created "2016-08-23" @default.
- W2487515042 creator A5059822467 @default.
- W2487515042 date "2009-01-01" @default.
- W2487515042 modified "2023-09-26" @default.
- W2487515042 title "A Formal Verification Centred Development Process for Security Protocols" @default.
- W2487515042 cites W1480122568 @default.
- W2487515042 cites W1499073821 @default.
- W2487515042 cites W1520770687 @default.
- W2487515042 cites W1533886364 @default.
- W2487515042 cites W1566288460 @default.
- W2487515042 cites W1569881051 @default.
- W2487515042 cites W1584139388 @default.
- W2487515042 cites W1597343621 @default.
- W2487515042 cites W1635081860 @default.
- W2487515042 cites W1746439921 @default.
- W2487515042 cites W1768880805 @default.
- W2487515042 cites W1975688140 @default.
- W2487515042 cites W1993970244 @default.
- W2487515042 cites W1996497395 @default.
- W2487515042 cites W2003915781 @default.
- W2487515042 cites W2010939995 @default.
- W2487515042 cites W2027477183 @default.
- W2487515042 cites W2029693536 @default.
- W2487515042 cites W2032577199 @default.
- W2487515042 cites W2052539228 @default.
- W2487515042 cites W2064243176 @default.
- W2487515042 cites W2070207454 @default.
- W2487515042 cites W2078264993 @default.
- W2487515042 cites W2088258634 @default.
- W2487515042 cites W2102922499 @default.
- W2487515042 cites W2104494325 @default.
- W2487515042 cites W2106755 @default.
- W2487515042 cites W2110884 @default.
- W2487515042 cites W2115674733 @default.
- W2487515042 cites W2119617924 @default.
- W2487515042 cites W2122984309 @default.
- W2487515042 cites W2130123502 @default.
- W2487515042 cites W2131895477 @default.
- W2487515042 cites W2136262554 @default.
- W2487515042 cites W2146973388 @default.
- W2487515042 cites W2152286108 @default.
- W2487515042 cites W2153778899 @default.
- W2487515042 cites W2156186849 @default.
- W2487515042 cites W2163408553 @default.
- W2487515042 cites W2169908972 @default.
- W2487515042 cites W2946824309 @default.
- W2487515042 cites W62100894 @default.
- W2487515042 doi "https://doi.org/10.4018/978-1-59904-855-0.ch014" @default.
- W2487515042 hasPublicationYear "2009" @default.
- W2487515042 type Work @default.
- W2487515042 sameAs 2487515042 @default.
- W2487515042 citedByCount "2" @default.
- W2487515042 countsByYear W24875150422019 @default.
- W2487515042 crossrefType "book-chapter" @default.
- W2487515042 hasAuthorship W2487515042A5059822467 @default.
- W2487515042 hasConcept C111498074 @default.
- W2487515042 hasConcept C115903868 @default.
- W2487515042 hasConcept C178489894 @default.
- W2487515042 hasConcept C199360897 @default.
- W2487515042 hasConcept C33884865 @default.
- W2487515042 hasConcept C38652104 @default.
- W2487515042 hasConcept C41008148 @default.
- W2487515042 hasConcept C98045186 @default.
- W2487515042 hasConceptScore W2487515042C111498074 @default.
- W2487515042 hasConceptScore W2487515042C115903868 @default.
- W2487515042 hasConceptScore W2487515042C178489894 @default.
- W2487515042 hasConceptScore W2487515042C199360897 @default.
- W2487515042 hasConceptScore W2487515042C33884865 @default.
- W2487515042 hasConceptScore W2487515042C38652104 @default.
- W2487515042 hasConceptScore W2487515042C41008148 @default.
- W2487515042 hasConceptScore W2487515042C98045186 @default.
- W2487515042 hasLocation W24875150421 @default.
- W2487515042 hasOpenAccess W2487515042 @default.
- W2487515042 hasPrimaryLocation W24875150421 @default.
- W2487515042 hasRelatedWork W1254841534 @default.
- W2487515042 hasRelatedWork W1481518662 @default.
- W2487515042 hasRelatedWork W1520592338 @default.
- W2487515042 hasRelatedWork W1525779663 @default.
- W2487515042 hasRelatedWork W1559579703 @default.
- W2487515042 hasRelatedWork W1560094997 @default.
- W2487515042 hasRelatedWork W1979512591 @default.
- W2487515042 hasRelatedWork W2098799476 @default.
- W2487515042 hasRelatedWork W2141808879 @default.
- W2487515042 hasRelatedWork W2349093121 @default.
- W2487515042 hasRelatedWork W2387009829 @default.
- W2487515042 hasRelatedWork W2562928796 @default.
- W2487515042 hasRelatedWork W2611133896 @default.
- W2487515042 hasRelatedWork W2775489165 @default.
- W2487515042 hasRelatedWork W2906764505 @default.
- W2487515042 hasRelatedWork W3002945266 @default.
- W2487515042 hasRelatedWork W3082316795 @default.
- W2487515042 hasRelatedWork W3090363455 @default.
- W2487515042 hasRelatedWork W46644096 @default.
- W2487515042 hasRelatedWork W9778399 @default.
- W2487515042 isParatext "false" @default.
- W2487515042 isRetracted "false" @default.
- W2487515042 magId "2487515042" @default.
- W2487515042 workType "book-chapter" @default.