Searching for "On Name Generation and Set-Based Analysis in the Dolev-Yao Model." – 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.

On name generation and set-based analysis in the Dolev-Yao model
by Roberto M. Amadio, Witold Charatonik — 2002
… Name Generation and Set-Based Analysis in the Dolev-Yao Model Roberto M. Amadio 1 and Witold Charatonik…
Cited by 48 (0 self) – Add To MetaCart

PROFUNDIS: Periodic Progress Report Year 1
by Part B
… 1. R. Amadio and W. Charatonik. On name generation and set-based analysis in Dolev-Yao model…
Add To MetaCart

Showing 1 through 2.

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