Miller, D., Encryption as an abstract data-type: An extended abstract, in: I. Cervesato, editor, Proc. FCS, Ottawa, Canada, 2003, pp. 3--14. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Miller, D., Encryption as an abstract data-type: An extended abstract, in: I. Cervesato, editor, Proc. FCS, Ottawa, Canada, 2003, pp. 3--14.
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
No context found.
D. Miller. Encryption as an abstract data-type: An extended abstract. In I. Cervesato, editor, Proceedings of the 2nd Workshop on Foundations of Computer Security --- FCS'03, pages 3--14, Ottawa, Canada, 26--27 June 2003.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
D. Miller. Encryption as an abstract data-type: An extended abstract. In I. Cervesato, editor, Proc. FCS, pages 3--14, Ottawa, Canada, 2003.
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
No context found.
D. Miller. Encryption as an abstract data-type: An extended abstract. In I. Cervesato, editor, Proceedings of the 2nd Workshop on Foundations of Computer Security --- FCS'03, pages 3--14, Ottawa, Canada, 26--27 June 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC