ASIAN 2009 - PDF Preprint Papers

ASIAN 2009 Algorithms

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ASIAN-2009 Paper

click to vote

ASIAN
2009
Springer

92views Algorithms» more ASIAN 2009»

A Simulation-Based Treatment of Authenticated Message Exchange

1 years 6 months ago

Download www.informatik.uni-kiel.de

Klaas Ole Kürtz, Henning Schnoor, Thomas Wilk...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	92	A Simulation-Based Treatment of Authenticated Message Exchange	claim
2	86	Automated Security Proof for Symmetric Encryption Modes	claim
3	85	Deducibility Constraints	claim
4	77	A Dolev-Yao Model for Zero Knowledge	claim
5	77	A Logic for Formal Verification of Quantum Programs	claim
6	77	Noninterference with Dynamic Security Domains and Policies	claim
7	71	"Logic Wins!"	claim
8	68	Reducing Equational Theories for the Decision of Static Equivalence	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers