Matches in SemOpenAlex for { <https://semopenalex.org/work/W2347996340> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2347996340 abstract "Formal verification is in effect to detect security protocols. The development of BAN-like logics promotes the research of this area. At the same time, there are many problems with current BAN-like logics. Based on analyzing these BAN-like logics, a new formal verification method of security protocols is presented. The new logic can realize verification function of current BAN-like logics, and makes the verification process implement conveniently. Consequently verification can be realized automatically. This logic gives a new approach to the formal verification of security protocols." @default.
- W2347996340 created "2016-06-24" @default.
- W2347996340 creator A5059712495 @default.
- W2347996340 date "2004-01-01" @default.
- W2347996340 modified "2023-09-25" @default.
- W2347996340 title "A New Formal Verification Method of Security Protocols" @default.
- W2347996340 hasPublicationYear "2004" @default.
- W2347996340 type Work @default.
- W2347996340 sameAs 2347996340 @default.
- W2347996340 citedByCount "0" @default.
- W2347996340 crossrefType "journal-article" @default.
- W2347996340 hasAuthorship W2347996340A5059712495 @default.
- W2347996340 hasConcept C110251889 @default.
- W2347996340 hasConcept C111498074 @default.
- W2347996340 hasConcept C178489894 @default.
- W2347996340 hasConcept C186846655 @default.
- W2347996340 hasConcept C199360897 @default.
- W2347996340 hasConcept C2777904410 @default.
- W2347996340 hasConcept C33884865 @default.
- W2347996340 hasConcept C3406870 @default.
- W2347996340 hasConcept C38652104 @default.
- W2347996340 hasConcept C41008148 @default.
- W2347996340 hasConcept C529173508 @default.
- W2347996340 hasConcept C62460635 @default.
- W2347996340 hasConcept C75606506 @default.
- W2347996340 hasConceptScore W2347996340C110251889 @default.
- W2347996340 hasConceptScore W2347996340C111498074 @default.
- W2347996340 hasConceptScore W2347996340C178489894 @default.
- W2347996340 hasConceptScore W2347996340C186846655 @default.
- W2347996340 hasConceptScore W2347996340C199360897 @default.
- W2347996340 hasConceptScore W2347996340C2777904410 @default.
- W2347996340 hasConceptScore W2347996340C33884865 @default.
- W2347996340 hasConceptScore W2347996340C3406870 @default.
- W2347996340 hasConceptScore W2347996340C38652104 @default.
- W2347996340 hasConceptScore W2347996340C41008148 @default.
- W2347996340 hasConceptScore W2347996340C529173508 @default.
- W2347996340 hasConceptScore W2347996340C62460635 @default.
- W2347996340 hasConceptScore W2347996340C75606506 @default.
- W2347996340 hasLocation W23479963401 @default.
- W2347996340 hasOpenAccess W2347996340 @default.
- W2347996340 hasPrimaryLocation W23479963401 @default.
- W2347996340 hasRelatedWork W140867378 @default.
- W2347996340 hasRelatedWork W1565715468 @default.
- W2347996340 hasRelatedWork W1597343621 @default.
- W2347996340 hasRelatedWork W1607589769 @default.
- W2347996340 hasRelatedWork W1939824026 @default.
- W2347996340 hasRelatedWork W2046856381 @default.
- W2347996340 hasRelatedWork W2084508773 @default.
- W2347996340 hasRelatedWork W2090144004 @default.
- W2347996340 hasRelatedWork W2110409646 @default.
- W2347996340 hasRelatedWork W2120726641 @default.
- W2347996340 hasRelatedWork W2136262554 @default.
- W2347996340 hasRelatedWork W2137249470 @default.
- W2347996340 hasRelatedWork W2348319160 @default.
- W2347996340 hasRelatedWork W2350521412 @default.
- W2347996340 hasRelatedWork W2360920656 @default.
- W2347996340 hasRelatedWork W2365747519 @default.
- W2347996340 hasRelatedWork W2381411377 @default.
- W2347996340 hasRelatedWork W2382194104 @default.
- W2347996340 hasRelatedWork W2512431877 @default.
- W2347996340 hasRelatedWork W3101270742 @default.
- W2347996340 isParatext "false" @default.
- W2347996340 isRetracted "false" @default.
- W2347996340 magId "2347996340" @default.
- W2347996340 workType "article" @default.