Publikationsansicht

Security protocols from the software verification (2008)

Abstract

perspective

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.130.5902
Quelle	http://www.mimuw.edu.pl/~alx/papers/security-protocols.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.115.3569, 10.1.1.2.1684, 10.1.1.11.2133, 10.1.1.87.7229, 10.1.1.113.8120, 10.1.1.112.975, 10.1.1.61.3389, 10.1.1.5.5758, 10.1.1.106.3106, 10.1.1.109.6324