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)
