Computationally Complete Symbolic Attacker in Action

AuthID
P-008-BZB
3
Author(s)
Bana, G
·
Sakurada, H
3
Editor(es)
Deepak D'Souza; Telikepalli Kavitha; Jaikumar Radhakrishnan
Tipo de Documento
Proceedings Paper
Year published
2012
Publicado
in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India in LIPIcs, ISSN: 1868-8969
Volume: 18, Páginas: 546-560
Conference
32Nd International Conference on Foundations of Software Technology and Theoretical Computer Science, Fsttcs 2012, Date: 15 December 2012 through 17 December 2012, Location: Hyderabad
Indexing
Publication Identifiers
DBLP: conf/fsttcs/BanaAS12
SCOPUS: 2-s2.0-84880205581
Source Identifiers
ISSN: 1868-8969
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.