Update Semantics of Security Protocols (English)
- New search for: Hommersom, Arjen
- New search for: Meyer, John-jules
- New search for: De vink, Erik
- New search for: Hommersom, Arjen
- New search for: Meyer, John-jules
- New search for: De vink, Erik
In:
Synthese
;
142
, 2
; 229-267
;
2004
-
ISSN:
- Article (Journal) / Print
-
Title:Update Semantics of Security Protocols
-
Contributors:
-
Published in:Synthese ; 142, 2 ; 229-267
-
Publisher:
- New search for: Kluwer Academic Publishers
- New search for: Springer Science+Business Media
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2004
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 535/3010
- New search for: 08.00
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 142, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 143
-
Nonmonotonic Inferences and Neural NetworksBlutner, Reinhard et al. | 2004
- 175
-
A Model of Jury Decisions where all Jurors have the same EvidenceDietrich, Franz / List, Christian et al. | 2004
- 203
-
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic LogicKacprzak, M. / Penczek, W. et al. | 2004
- 229
-
Update Semantics of Security ProtocolsHommersom, Arjen / Meyer, John-jules / De vink, Erik et al. | 2004