✦ LIBER ✦

Towards an Awareness-Based Semantics for Security Protocol Analysis

✍ Scribed by Rafael Accorsi; David Basin; Luca Viganò

Book ID: 108498205
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 433 KB
Volume: 55
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00242-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards an integrated graph-based semant

Towards an integrated graph-based semantics for UML

✍ Sabine Kuske; Martin Gogolla; Hans-Jörg Kreowski; Paul Ziemann 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 788 KB

Towards an Integrated Graph Based Semant

Towards an Integrated Graph Based Semantics for UML

✍ Martin Gogolla; Paul Ziemann; Sabine Kuske 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 163 KB

Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that approach and show how two more UML diagram types, sequence and collaboration diagrams, can be captured. Fo

An HMM based analysis framework for sema

An HMM based analysis framework for semantic video events

✍ Junyong You; Guizhong Liu; Yaxin Zhang 📂 Article 📅 2007 🏛 SP Science Press 🌐 English ⚖ 178 KB

An XML-based testing strategy for probin

An XML-based testing strategy for probing security vulnerabilities in the diameter protocol

✍ Daping Wang 📂 Article 📅 2007 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 187 KB

An Inter-cluster Communication based Ene

An Inter-cluster Communication based Energy Aware and Fault Tolerant Protocol for Wireless Sensor Networks

✍ Azzedine Boukerche; Anahit Martirosyan; Richard Pazzi 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 482 KB

Knowledge base for an expert system used

Knowledge base for an expert system used for steady state security analysis

✍ C Tinguely; A Bart; AJ Germond 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 967 KB