FRINK Linked Data Fragments server

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

• W2108778813 endingPage "900" @default.
• W2108778813 startingPage "889" @default.
• W2108778813 abstract "The study of multiagent systems (MASs) focuses on systems in which many intelligent agents interact with each other using communication protocols. For example, an authentication protocol is used to verify and authorize agents acting on behalf of users to protect restricted data and information. After authentication, two agents should be entitled to believe that they are communicating with each other and not with intruders. For specifying and reasoning about the security properties of authentication protocols, many researchers have proposed the use of belief logics. Since authentication protocols are designed to operate in dynamic environments, it is important to model the evolution of authentication systems through time in a systematic way. We advocate the systematic combinations of logics of beliefs and time for modeling and reasoning about evolving agent beliefs in MASs. In particular, we use a temporal belief logic called TML (+) for establishing trust theories for authentication systems and also propose a labeled tableau system for this logic. To illustrate the capabilities of TML (+), we present trust theories for several well-known authentication protocols, namely, the Lowe modified wide-mouthed frog protocol, the amended Needham-Schroeder symmetric key protocol, and Kerberos. We also show how to verify certain security properties of those protocols. With the logic TML (+) and its associated modal tableaux, we are able to reason about and verify authentication systems operating in dynamic environments." @default.
• W2108778813 created "2016-06-24" @default.
• W2108778813 creator A5010152619 @default.
• W2108778813 creator A5038675407 @default.
• W2108778813 creator A5075707366 @default.
• W2108778813 date "2009-08-01" @default.
• W2108778813 modified "2023-09-27" @default.
• W2108778813 title "Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux" @default.
• W2108778813 cites W1486777674 @default.
• W2108778813 cites W1500313660 @default.
• W2108778813 cites W1520544006 @default.
• W2108778813 cites W1538657331 @default.
• W2108778813 cites W1554643194 @default.
• W2108778813 cites W1562901937 @default.
• W2108778813 cites W1566400168 @default.
• W2108778813 cites W1569881051 @default.
• W2108778813 cites W1578637453 @default.
• W2108778813 cites W1588668163 @default.
• W2108778813 cites W1623229847 @default.
• W2108778813 cites W1773918176 @default.
• W2108778813 cites W1799159171 @default.
• W2108778813 cites W188181633 @default.
• W2108778813 cites W1908747928 @default.
• W2108778813 cites W1991650963 @default.
• W2108778813 cites W1994676271 @default.
• W2108778813 cites W2010939995 @default.
• W2108778813 cites W2017661088 @default.
• W2108778813 cites W2021235041 @default.
• W2108778813 cites W203757321 @default.
• W2108778813 cites W2060240207 @default.
• W2108778813 cites W2061637199 @default.
• W2108778813 cites W2065448760 @default.
• W2108778813 cites W2070453546 @default.
• W2108778813 cites W2073362556 @default.
• W2108778813 cites W2074244772 @default.
• W2108778813 cites W2077025369 @default.
• W2108778813 cites W2080317287 @default.
• W2108778813 cites W2086382419 @default.
• W2108778813 cites W2102922499 @default.
• W2108778813 cites W2105061375 @default.
• W2108778813 cites W2123503098 @default.
• W2108778813 cites W2125173879 @default.
• W2108778813 cites W2128785082 @default.
• W2108778813 cites W2132544882 @default.
• W2108778813 cites W2134504005 @default.
• W2108778813 cites W2139411431 @default.
• W2108778813 cites W2139733965 @default.
• W2108778813 cites W2146973388 @default.
• W2108778813 cites W2154778372 @default.
• W2108778813 cites W2160539780 @default.
• W2108778813 cites W2160675873 @default.
• W2108778813 cites W2163751633 @default.
• W2108778813 cites W2166102719 @default.
• W2108778813 cites W2169502452 @default.
• W2108778813 cites W2171444282 @default.
• W2108778813 cites W3141323124 @default.
• W2108778813 cites W3144889436 @default.
• W2108778813 doi "https://doi.org/10.1109/tsmcb.2009.2019263" @default.
• W2108778813 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/19423448" @default.
• W2108778813 hasPublicationYear "2009" @default.
• W2108778813 type Work @default.
• W2108778813 sameAs 2108778813 @default.
• W2108778813 citedByCount "2" @default.
• W2108778813 countsByYear W21087788132018 @default.
• W2108778813 crossrefType "journal-article" @default.
• W2108778813 hasAuthorship W2108778813A5010152619 @default.
• W2108778813 hasAuthorship W2108778813A5038675407 @default.
• W2108778813 hasAuthorship W2108778813A5075707366 @default.
• W2108778813 hasBestOaLocation W21087788132 @default.
• W2108778813 hasConcept C141492731 @default.
• W2108778813 hasConcept C142724271 @default.
• W2108778813 hasConcept C148417208 @default.
• W2108778813 hasConcept C178489894 @default.
• W2108778813 hasConcept C204787440 @default.
• W2108778813 hasConcept C21564112 @default.
• W2108778813 hasConcept C26517878 @default.
• W2108778813 hasConcept C2780385302 @default.
• W2108778813 hasConcept C32455479 @default.
• W2108778813 hasConcept C33884865 @default.
• W2108778813 hasConcept C38652104 @default.
• W2108778813 hasConcept C41008148 @default.
• W2108778813 hasConcept C71924100 @default.
• W2108778813 hasConcept C80444323 @default.
• W2108778813 hasConceptScore W2108778813C141492731 @default.
• W2108778813 hasConceptScore W2108778813C142724271 @default.
• W2108778813 hasConceptScore W2108778813C148417208 @default.
• W2108778813 hasConceptScore W2108778813C178489894 @default.
• W2108778813 hasConceptScore W2108778813C204787440 @default.
• W2108778813 hasConceptScore W2108778813C21564112 @default.
• W2108778813 hasConceptScore W2108778813C26517878 @default.
• W2108778813 hasConceptScore W2108778813C2780385302 @default.
• W2108778813 hasConceptScore W2108778813C32455479 @default.
• W2108778813 hasConceptScore W2108778813C33884865 @default.
• W2108778813 hasConceptScore W2108778813C38652104 @default.
• W2108778813 hasConceptScore W2108778813C41008148 @default.
• W2108778813 hasConceptScore W2108778813C71924100 @default.
• W2108778813 hasConceptScore W2108778813C80444323 @default.
• W2108778813 hasIssue "4" @default.

• next