Matches in SemOpenAlex for { <https://semopenalex.org/work/W2368781609> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2368781609 abstract "【Abstract】A modal logic based on belief, MBL logic, is introduced to analyze security of authentication key-exchange protocols with one-way functions. The logic has following characteristics: it has a rational proof system and its inference rules can be proved right under its own semantic model. It can analyze authentication of messages protected by one-way functions, and analyze whether messages are kept secret. Through these rules, analyzer could reduce the dependency on trusted third part about the security of temporary session key, and be able to find whether adversaries could make effective attacks on protocols through cheating trusted third part. 【Key words】modal logic; MBL logic; BAN-like logic; session key" @default.
- W2368781609 created "2016-06-24" @default.
- W2368781609 creator A5086178021 @default.
- W2368781609 creator A5091403237 @default.
- W2368781609 date "2007-01-01" @default.
- W2368781609 modified "2023-09-25" @default.
- W2368781609 title "Modal Logic for Analyzing Privacy and Authentication" @default.
- W2368781609 cites W1588380009 @default.
- W2368781609 cites W1710433637 @default.
- W2368781609 cites W195269491 @default.
- W2368781609 cites W1972934510 @default.
- W2368781609 cites W1981423850 @default.
- W2368781609 cites W2011968344 @default.
- W2368781609 cites W2057876146 @default.
- W2368781609 cites W2102922499 @default.
- W2368781609 cites W2108681270 @default.
- W2368781609 cites W2118876820 @default.
- W2368781609 cites W2121273447 @default.
- W2368781609 hasPublicationYear "2007" @default.
- W2368781609 type Work @default.
- W2368781609 sameAs 2368781609 @default.
- W2368781609 citedByCount "0" @default.
- W2368781609 crossrefType "journal-article" @default.
- W2368781609 hasAuthorship W2368781609A5086178021 @default.
- W2368781609 hasAuthorship W2368781609A5091403237 @default.
- W2368781609 hasConcept C136764020 @default.
- W2368781609 hasConcept C148417208 @default.
- W2368781609 hasConcept C148730421 @default.
- W2368781609 hasConcept C185592680 @default.
- W2368781609 hasConcept C188027245 @default.
- W2368781609 hasConcept C191197275 @default.
- W2368781609 hasConcept C199360897 @default.
- W2368781609 hasConcept C203062551 @default.
- W2368781609 hasConcept C26517878 @default.
- W2368781609 hasConcept C27508121 @default.
- W2368781609 hasConcept C2779182362 @default.
- W2368781609 hasConcept C3746660 @default.
- W2368781609 hasConcept C38652104 @default.
- W2368781609 hasConcept C41008148 @default.
- W2368781609 hasConcept C71139939 @default.
- W2368781609 hasConcept C99674996 @default.
- W2368781609 hasConceptScore W2368781609C136764020 @default.
- W2368781609 hasConceptScore W2368781609C148417208 @default.
- W2368781609 hasConceptScore W2368781609C148730421 @default.
- W2368781609 hasConceptScore W2368781609C185592680 @default.
- W2368781609 hasConceptScore W2368781609C188027245 @default.
- W2368781609 hasConceptScore W2368781609C191197275 @default.
- W2368781609 hasConceptScore W2368781609C199360897 @default.
- W2368781609 hasConceptScore W2368781609C203062551 @default.
- W2368781609 hasConceptScore W2368781609C26517878 @default.
- W2368781609 hasConceptScore W2368781609C27508121 @default.
- W2368781609 hasConceptScore W2368781609C2779182362 @default.
- W2368781609 hasConceptScore W2368781609C3746660 @default.
- W2368781609 hasConceptScore W2368781609C38652104 @default.
- W2368781609 hasConceptScore W2368781609C41008148 @default.
- W2368781609 hasConceptScore W2368781609C71139939 @default.
- W2368781609 hasConceptScore W2368781609C99674996 @default.
- W2368781609 hasLocation W23687816091 @default.
- W2368781609 hasOpenAccess W2368781609 @default.
- W2368781609 hasPrimaryLocation W23687816091 @default.
- W2368781609 hasRelatedWork W117052899 @default.
- W2368781609 hasRelatedWork W1520770687 @default.
- W2368781609 hasRelatedWork W1540759322 @default.
- W2368781609 hasRelatedWork W1581458632 @default.
- W2368781609 hasRelatedWork W2057720008 @default.
- W2368781609 hasRelatedWork W2070207454 @default.
- W2368781609 hasRelatedWork W2086382419 @default.
- W2368781609 hasRelatedWork W2110647561 @default.
- W2368781609 hasRelatedWork W2113599658 @default.
- W2368781609 hasRelatedWork W2123171822 @default.
- W2368781609 hasRelatedWork W2128717024 @default.
- W2368781609 hasRelatedWork W2131921367 @default.
- W2368781609 hasRelatedWork W2140761632 @default.
- W2368781609 hasRelatedWork W2156773905 @default.
- W2368781609 hasRelatedWork W2288808460 @default.
- W2368781609 hasRelatedWork W2376005528 @default.
- W2368781609 hasRelatedWork W2383082268 @default.
- W2368781609 hasRelatedWork W3047341580 @default.
- W2368781609 hasRelatedWork W566974402 @default.
- W2368781609 hasRelatedWork W892286096 @default.
- W2368781609 isParatext "false" @default.
- W2368781609 isRetracted "false" @default.
- W2368781609 magId "2368781609" @default.
- W2368781609 workType "article" @default.