FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2474505510> ?p ?o ?g. }

• W2474505510 endingPage "1217" @default.
• W2474505510 startingPage "1209" @default.
• W2474505510 abstract "We study the problem of analysing the security for an unbounded number of concurrent sessions of a cryptographic protocol. Our formal model accounts for an arbitrary number of agents involved in a protocol-exchange which is subverted by a Dolev-Yao attacker. We define the parameterised model checking problem with respect to security requirements expressed in temporal-epistemic logics. We formulate sufficient conditions for solving this problem, by analysing several finite models of the system. We primarily explore authentication and key-establishment as part of a larger class of protocols and security requirements amenable to our methodology. We introduce a tool implementing the technique, and we validate it by verifying the NSPK and ASRPC protocols." @default.
• W2474505510 created "2016-07-22" @default.
• W2474505510 creator A5015045050 @default.
• W2474505510 creator A5033325572 @default.
• W2474505510 creator A5036379679 @default.
• W2474505510 date "2016-05-09" @default.
• W2474505510 modified "2023-09-27" @default.
• W2474505510 title "Verifying Security Properties in Unbounded Multiagent Systems" @default.
• W2474505510 cites W146244851 @default.
• W2474505510 cites W1522795389 @default.
• W2474505510 cites W1679534293 @default.
• W2474505510 cites W1765464860 @default.
• W2474505510 cites W1799163117 @default.
• W2474505510 cites W1979418580 @default.
• W2474505510 cites W2006553351 @default.
• W2474505510 cites W2010939995 @default.
• W2474505510 cites W2029693536 @default.
• W2474505510 cites W2077025369 @default.
• W2474505510 cites W2114189125 @default.
• W2474505510 cites W2122291740 @default.
• W2474505510 cites W2132544882 @default.
• W2474505510 cites W2134943768 @default.
• W2474505510 cites W2146819619 @default.
• W2474505510 cites W2146973388 @default.
• W2474505510 cites W2147269402 @default.
• W2474505510 cites W2153921791 @default.
• W2474505510 cites W2154568476 @default.
• W2474505510 cites W2163758100 @default.
• W2474505510 cites W2169240708 @default.
• W2474505510 cites W2169908972 @default.
• W2474505510 cites W2283569934 @default.
• W2474505510 cites W2403056628 @default.
• W2474505510 cites W3196893454 @default.
• W2474505510 cites W768482223 @default.
• W2474505510 cites W822763789 @default.
• W2474505510 doi "https://doi.org/10.5555/2936924.2937100" @default.
• W2474505510 hasPublicationYear "2016" @default.
• W2474505510 type Work @default.
• W2474505510 sameAs 2474505510 @default.
• W2474505510 citedByCount "4" @default.
• W2474505510 countsByYear W24745055102017 @default.
• W2474505510 countsByYear W24745055102019 @default.
• W2474505510 countsByYear W24745055102020 @default.
• W2474505510 crossrefType "proceedings-article" @default.
• W2474505510 hasAuthorship W2474505510A5015045050 @default.
• W2474505510 hasAuthorship W2474505510A5033325572 @default.
• W2474505510 hasAuthorship W2474505510A5036379679 @default.
• W2474505510 hasConcept C110251889 @default.
• W2474505510 hasConcept C111498074 @default.
• W2474505510 hasConcept C142724271 @default.
• W2474505510 hasConcept C148417208 @default.
• W2474505510 hasConcept C148730421 @default.
• W2474505510 hasConcept C154945302 @default.
• W2474505510 hasConcept C178489894 @default.
• W2474505510 hasConcept C203062551 @default.
• W2474505510 hasConcept C204787440 @default.
• W2474505510 hasConcept C26517878 @default.
• W2474505510 hasConcept C2777212361 @default.
• W2474505510 hasConcept C2780385302 @default.
• W2474505510 hasConcept C33884865 @default.
• W2474505510 hasConcept C38652104 @default.
• W2474505510 hasConcept C41008148 @default.
• W2474505510 hasConcept C71924100 @default.
• W2474505510 hasConcept C80444323 @default.
• W2474505510 hasConcept C99674996 @default.
• W2474505510 hasConceptScore W2474505510C110251889 @default.
• W2474505510 hasConceptScore W2474505510C111498074 @default.
• W2474505510 hasConceptScore W2474505510C142724271 @default.
• W2474505510 hasConceptScore W2474505510C148417208 @default.
• W2474505510 hasConceptScore W2474505510C148730421 @default.
• W2474505510 hasConceptScore W2474505510C154945302 @default.
• W2474505510 hasConceptScore W2474505510C178489894 @default.
• W2474505510 hasConceptScore W2474505510C203062551 @default.
• W2474505510 hasConceptScore W2474505510C204787440 @default.
• W2474505510 hasConceptScore W2474505510C26517878 @default.
• W2474505510 hasConceptScore W2474505510C2777212361 @default.
• W2474505510 hasConceptScore W2474505510C2780385302 @default.
• W2474505510 hasConceptScore W2474505510C33884865 @default.
• W2474505510 hasConceptScore W2474505510C38652104 @default.
• W2474505510 hasConceptScore W2474505510C41008148 @default.
• W2474505510 hasConceptScore W2474505510C71924100 @default.
• W2474505510 hasConceptScore W2474505510C80444323 @default.
• W2474505510 hasConceptScore W2474505510C99674996 @default.
• W2474505510 hasLocation W24745055101 @default.
• W2474505510 hasOpenAccess W2474505510 @default.
• W2474505510 hasPrimaryLocation W24745055101 @default.
• W2474505510 hasRelatedWork W117052899 @default.
• W2474505510 hasRelatedWork W1520260193 @default.
• W2474505510 hasRelatedWork W1527974336 @default.
• W2474505510 hasRelatedWork W1996281641 @default.
• W2474505510 hasRelatedWork W2025542990 @default.
• W2474505510 hasRelatedWork W2030664040 @default.
• W2474505510 hasRelatedWork W2033747706 @default.
• W2474505510 hasRelatedWork W2057720008 @default.
• W2474505510 hasRelatedWork W2067797538 @default.
• W2474505510 hasRelatedWork W2070207454 @default.
• W2474505510 hasRelatedWork W2085691404 @default.
• W2474505510 hasRelatedWork W2106613101 @default.

• next