dblp.uni-trier.dewww.uni-trier.de

Francien Dechesne

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EERob Verhoeven, Francien Dechesne: Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241
2EEFrancien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125
2007
1EEFrancien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241

Coauthor Index

1Mohammad Reza Mousavi [1]
2Simona Orzan [1] [2]
3Rob Verhoeven [3]
4Yanjing Wang [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)