MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Safely composing security protocols." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Safely composing security protocols ⋆
by Véronique Cortier, Stéphanie Delaune — 2008
…Véronique Cortier and Stéphanie Delaune Safely composing security protocols Research Report LSV-08…
Cited by 4 (4 self) – Add To MetaCart

Formal Methods in System Design manuscript No. (will be inserted by the editor) Safely composing
by Véronique Cortier, Stéphanie Delaune
… that security of protocols can be easily composed. More precisely, we show that whenever a protocol is secure…
Add To MetaCart

Formal Methods in System Design manuscript No. (will be inserted by the editor) Safely composing
by unknown authors
…. In this paper, we show that security of protocols can be easily composed. More precisely, we show that whenever…
Add To MetaCart

Safely
by Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune, Thème Sym, Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune, Thème Sym Systèmes Symboliques, Projets Cassis
… recherche ISSN 0249-6399 ISRN INRIA/RR--6234--FR+ENG Safely composing security protocols Véronique Cortier…
Add To MetaCart

Showing 1 through 4.

ATOM

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