Searching for "Towards an awareness-based semantics for security protocol analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Towards an Awareness-Based Semantics for Security Protocol Analysis
by Rafael Accorsi, David Basin, Luca Vigano — 2001
…Towards an awareness-based semantics for security protocol analysis Rafael Accorsi, David Basin…
Cited by 7 (1 self) – Add To MetaCart

Towards an Awareness-Based Semantics for Security Protocol Analysis
by Rafael Accorsi David
… In this paper we report on work-in-progress on an awareness-based semantics for the analysis of security…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB