MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Iliano Cervesato" – sorted by Relevance.

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

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

71 documents found, showing 1 through 10. Next 10 →

ATOM

The Dolev-Yao Intruder is the Most Powerful Attacker
by Iliano Cervesato — 2001 — Proceedings of the Sixteenth Annual Symposium on Logic in Computer Science | LICS'01
…The Dolev-Yao Intruder is the Most Powerful Attacker Iliano Cervesato Advanced Engineering…
Cited by 14 (1 self) – Add To MetaCart

Data access specification and the most powerful symbolic attacker in MSR
by Iliano Cervesato — 2003 — In ISSS ’02, volume 2609 of LNCS
…Data Access Specification and the Most Powerful Symbolic Attacker in MSR ∗ Iliano Cervesato ITT…
Cited by 8 (2 self) – Add To MetaCart

Proof-Theoretic Foundation of Compilation in Logic Programming Languages
by Iliano Cervesato — Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP’98
…Proof-Theoretic Foundation of Compilation in Logic Programming Languages Iliano Cervesato…
Cited by 8 (1 self) – Add To MetaCart

Petri Nets as Multiset Rewriting Systems in a Linear Framework
by Iliano Cervesato — 1994
…Petri Nets as Multiset Rewriting Systems in a Linear Framework Iliano Cervesato Dipartimento di…
Cited by 1 (1 self) – Add To MetaCart

The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report
by Iliano Cervesato — 2004
… Cervesato ⋆ Advanced Engineering and Science Division, ITT Industries Inc. Alexandria, VA 22303, USA iliano…
Cited by 5 (1 self) – Add To MetaCart

Fine-Grained MSR Specifications for Quantitative Security Analysis
by Iliano Cervesato — 2004 — in: Fourth Workshop on Issues in the Theory of Security — WITS’04
…Fine-Grained MSR Specifications for Quantitative Security Analysis Iliano Cervesato� Advanced…
Cited by 4 (2 self) – Add To MetaCart

An encapsulated authentication logic for reasoning about key distribution protocols
by Iliano Cervesato — 2005 — in: Eighteenth Computer Security Foundations Workshop — CSFW-18, IEEE Computer
… Cervesato Tulane University iliano@(email omitted); Abstract Authentication and secrecy properties are proved…
Cited by 7 (4 self) – Add To MetaCart

The wolf within
by Iliano Cervesato — 2002 — Second Workshop on Issues in the Theory of Security --- WITS'02
…The Wolf Within ∗ Iliano Cervesato Advanced Engineering and Sciences Division, ITT Industries, Inc…
Cited by 1 (1 self) – Add To MetaCart

Typed Multiset Rewriting Specifications of Security Protocols
by Iliano Cervesato — 2001
…Typed Multiset Rewriting Specifications of Security Protocols Iliano Cervesato Advanced…
Cited by 7 (7 self) – Add To MetaCart

Typed MSR: Syntax and Examples
by Iliano Cervesato — 2001 — FIRST INTERNATIONAL WORKSHOP ON MATHEMATICAL METHODS, MODELS AND ARCHITECTURES FOR COMPUTER NETWORKS SECURITY — MMM’01
…Typed MSR: Syntax and Examples ? Iliano Cervesato Advanced Engineering and Sciences Division, ITT…
Cited by 25 (18 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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