Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117413194> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2117413194 endingPage "408" @default.
- W2117413194 startingPage "393" @default.
- W2117413194 abstract "Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. In this paper we show how this technique can be used for the verification of security protocols using a logic of belief. The underlying idea is to treat separately the temporal evolution and the belief aspects of principals. In practice, things work as follows: when we consider the temporal evolution of a principal we treat belief atoms (namely, atomic formulae expressing belief) as atomic propositions. When we deal with the beliefs of a principal A, we model its beliefs about another principal B as the fact that A has access to a representation of B as a process. Then, any time it needs to verify the truth value of some belief atom about B, e.g., B B ø, A simply tests whether, e.g., ø holds in its (appropriate) representation of B. Beliefs are essentially used to control the “jumping” among processes. Our approach allows us to reuse the technology and tools developed in model checking." @default.
- W2117413194 created "2016-06-24" @default.
- W2117413194 creator A5001227032 @default.
- W2117413194 creator A5003486719 @default.
- W2117413194 creator A5048258273 @default.
- W2117413194 creator A5055715757 @default.
- W2117413194 date "2000-01-01" @default.
- W2117413194 modified "2023-09-26" @default.
- W2117413194 title "A Logic of Belief and a Model Checking Algorithm for Security Protocols" @default.
- W2117413194 cites W1936937432 @default.
- W2117413194 cites W2010939995 @default.
- W2117413194 cites W2077025369 @default.
- W2117413194 doi "https://doi.org/10.1007/978-0-387-35533-7_25" @default.
- W2117413194 hasPublicationYear "2000" @default.
- W2117413194 type Work @default.
- W2117413194 sameAs 2117413194 @default.
- W2117413194 citedByCount "12" @default.
- W2117413194 countsByYear W21174131942012 @default.
- W2117413194 countsByYear W21174131942017 @default.
- W2117413194 crossrefType "book-chapter" @default.
- W2117413194 hasAuthorship W2117413194A5001227032 @default.
- W2117413194 hasAuthorship W2117413194A5003486719 @default.
- W2117413194 hasAuthorship W2117413194A5048258273 @default.
- W2117413194 hasAuthorship W2117413194A5055715757 @default.
- W2117413194 hasBestOaLocation W21174131941 @default.
- W2117413194 hasConcept C110251889 @default.
- W2117413194 hasConcept C11413529 @default.
- W2117413194 hasConcept C127413603 @default.
- W2117413194 hasConcept C144559511 @default.
- W2117413194 hasConcept C154945302 @default.
- W2117413194 hasConcept C161301231 @default.
- W2117413194 hasConcept C17744445 @default.
- W2117413194 hasConcept C199360897 @default.
- W2117413194 hasConcept C199539241 @default.
- W2117413194 hasConcept C206588197 @default.
- W2117413194 hasConcept C25016198 @default.
- W2117413194 hasConcept C2776359362 @default.
- W2117413194 hasConcept C2777530160 @default.
- W2117413194 hasConcept C34849589 @default.
- W2117413194 hasConcept C38652104 @default.
- W2117413194 hasConcept C41008148 @default.
- W2117413194 hasConcept C46274116 @default.
- W2117413194 hasConcept C48103436 @default.
- W2117413194 hasConcept C548081761 @default.
- W2117413194 hasConcept C80444323 @default.
- W2117413194 hasConcept C94625758 @default.
- W2117413194 hasConcept C98045186 @default.
- W2117413194 hasConceptScore W2117413194C110251889 @default.
- W2117413194 hasConceptScore W2117413194C11413529 @default.
- W2117413194 hasConceptScore W2117413194C127413603 @default.
- W2117413194 hasConceptScore W2117413194C144559511 @default.
- W2117413194 hasConceptScore W2117413194C154945302 @default.
- W2117413194 hasConceptScore W2117413194C161301231 @default.
- W2117413194 hasConceptScore W2117413194C17744445 @default.
- W2117413194 hasConceptScore W2117413194C199360897 @default.
- W2117413194 hasConceptScore W2117413194C199539241 @default.
- W2117413194 hasConceptScore W2117413194C206588197 @default.
- W2117413194 hasConceptScore W2117413194C25016198 @default.
- W2117413194 hasConceptScore W2117413194C2776359362 @default.
- W2117413194 hasConceptScore W2117413194C2777530160 @default.
- W2117413194 hasConceptScore W2117413194C34849589 @default.
- W2117413194 hasConceptScore W2117413194C38652104 @default.
- W2117413194 hasConceptScore W2117413194C41008148 @default.
- W2117413194 hasConceptScore W2117413194C46274116 @default.
- W2117413194 hasConceptScore W2117413194C48103436 @default.
- W2117413194 hasConceptScore W2117413194C548081761 @default.
- W2117413194 hasConceptScore W2117413194C80444323 @default.
- W2117413194 hasConceptScore W2117413194C94625758 @default.
- W2117413194 hasConceptScore W2117413194C98045186 @default.
- W2117413194 hasLocation W21174131941 @default.
- W2117413194 hasOpenAccess W2117413194 @default.
- W2117413194 hasPrimaryLocation W21174131941 @default.
- W2117413194 hasRelatedWork W1513903619 @default.
- W2117413194 hasRelatedWork W1553432043 @default.
- W2117413194 hasRelatedWork W1604272107 @default.
- W2117413194 hasRelatedWork W1936937432 @default.
- W2117413194 hasRelatedWork W1987507597 @default.
- W2117413194 hasRelatedWork W2103740034 @default.
- W2117413194 hasRelatedWork W2115995803 @default.
- W2117413194 hasRelatedWork W2117413194 @default.
- W2117413194 hasRelatedWork W2126917225 @default.
- W2117413194 hasRelatedWork W2977922564 @default.
- W2117413194 isParatext "false" @default.
- W2117413194 isRetracted "false" @default.
- W2117413194 magId "2117413194" @default.
- W2117413194 workType "book-chapter" @default.