Catalin V. Birjoveanu Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, Ioana Boureanu: Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. Journal of Computer Security 16(6): 689-712 (2008)
2006
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatalin V. Birjoveanu: Secrecy for Security Protocols. Sci. Ann. Cuza Univ. 16: 5-38 (2006)
2005
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu: Decidability and Complexity Results for Security Protocols. VISSAS 2005: 185-211

Coauthor Index

1Ioana Boureanu [3]
2Constantin Enea [1] [3]
3Ferucio Laurentiu Tiplea [1] [3]

Copyright © Tue Dec 15 16:03:16 2009 by Michael Ley (ley@uni-trier.de)