Computationally Complete Symbolic Adversary and Computationally Sound Veri?cation of Security Protocols (in Japanese) (bibtex)
by Gergei Bana, Pedro Adaõ, Hideki Sakurada
Reference:
Computationally Complete Symbolic Adversary and Computationally Sound Veri?cation of Security Protocols (in Japanese) (Gergei Bana, Pedro Adaõ, Hideki Sakurada), 2013.
Bibtex Entry:
@conference{BanaAdaoSakuCSIS13,
 author = {Bana, Gergei and Ada\~o, Pedro and Sakurada, Hideki},
 title = {Computationally Complete Symbolic Adversary and Computationally Sound Veri?cation of Security Protocols (in Japanese)},
 booktitle = {Proceedings of The 30th Symposium on Cryptography and Information Security},
 year = {2013},
 month = {Jan},
 address= {CD-ROM (4D1-3)}
}
Powered by bibtexbrowser