Liviu Pene

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

3 Kamel Adi, Liviu Pene: Formal Reasoning for Security Protocol Correctness. SoMeT 2008: 63-83

2006

2 Liviu Pene, Kamel Adi: A Calculus for Distributed Firewall Specification and Verification. SoMeT 2006: 301-315

2005

1 Kamel Adi, Liviu Pene: Secrecy Correctness for Security Protocols. DFMA 2005: 22-29

	2008
3		Kamel Adi, Liviu Pene: Formal Reasoning for Security Protocol Correctness. SoMeT 2008: 63-83
	2006
2		Liviu Pene, Kamel Adi: A Calculus for Distributed Firewall Specification and Verification. SoMeT 2006: 301-315
	2005
1		Kamel Adi, Liviu Pene: Secrecy Correctness for Security Protocols. DFMA 2005: 22-29

Coauthor Index

1 Kamel Adi [1] [2] [3]