Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically

Uloženo v:

Podrobná bibliografie
Vydáno v:	The journal of logic and algebraic programming Ročník 64; číslo 2; s. 219 - 251
Hlavní autoři:	Goubault-Larrecq, Jean, Roger, Muriel, Verma, Kumar Neeraj
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.08.2005
ISSN:	1567-8326
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
ISSN:	1567-8326
DOI:	10.1016/j.jlap.2004.09.004