Creating and sharing knowledge for telecommunications

Computationally Complete Symbolic Attacker in Action

Bana, G. ; Adão, P. ; Sakurada, H.

Computationally Complete Symbolic Attacker in Action, Proc Foundations of Software Technology and Theoretical Computer Science - FSTTCS, Hyderabad, India, Vol. 18, pp. 546 - 560, December, 2012.

Digital Object Identifier: 10.4230/LIPIcs.FSTTCS.2012.546

Download Full text PDF ( 383 KBs)

Abstract