Searching for "A symbolic framework for multi-faceted security protocol analysis." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

International Journal of Information Security manuscript No. (will be inserted by the editor)
by Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto
…) Andrea Bracciali · Gianluigi Ferrari · Emilio Tuosto A symbolic framework for multi-faceted security…
Add To MetaCart

Showing 1 through 1.

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