Rob Verhoeven

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Rob Verhoeven, Francien Dechesne: Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241

	2008
1		Rob Verhoeven, Francien Dechesne: Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241

Coauthor Index