Cryptology ePrint Archive: Report 2006/398

Available versions in chronological order

20061112:194547 (posted 12-Nov-2006 19:45:47 UTC): Layered Specifications Framework for Analysis of Secure Protocols; Amir Herzberg and Igal Yoffe
20070211:055119 (posted 11-Feb-2007 05:51:19 UTC): Layered Specifications Framework for Analysis of Secure Protocols; Amir Herzberg and Igal Yoffe
20070211:074304 (posted 11-Feb-2007 07:43:04 UTC): Layered Specifications, Design and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe
20070321:065601 (posted 21-Mar-2007 06:56:01 UTC): Layered Specifications, Design and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe
20070321:070349 (posted 21-Mar-2007 07:03:49 UTC): Layered Specifications, Design and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe
20070702:074958 (posted 02-Jul-2007 07:49:58 UTC): Layered Specifications, Design and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe
20070726:182031 (posted 26-Jul-2007 18:20:31 UTC): Layered Specifications, Design and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe
20070902:084713 (posted 02-Sep-2007 08:47:13 UTC): Layered Specifications, Design and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe
20080101:142855 (posted 01-Jan-2008 14:28:55 UTC): The Layered Games Framework for Specifications and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe; Publication Info: This is draft of full version; extended abstract (with some errors) will appear in proc. of TCC'08.
20080122:162351 (posted 22-Jan-2008 16:23:51 UTC): The Layered Games Framework for Specifications and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe; Publication Info: This is draft of full version; extended abstract (with some errors) will appear in proc. of TCC'08.
20080207:114228 (posted 07-Feb-2008 11:42:28 UTC): The Layered Games Framework for Specifications and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe; Publication Info: This is draft of full version; extended abstract (with some errors) will appear in proc. of TCC'08.
20080306:035545 (posted 06-Mar-2008 03:55:45 UTC): The Layered Games Framework for Specifications and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe; Publication Info: This is draft of full version; extended abstract (with some errors) will appear in proc. of TCC'08.
20080622:140011 (posted 22-Jun-2008 14:00:11 UTC): The Layered Games Framework for Specifications and Analysis of Security Protocols; Amir Herzberg and Igal Yoffe; Publication Info: This is draft of full version; extended abstract (with some errors) will appear in proc. of TCC'08.

[ Cryptology ePrint archive ]