An abstract semantics tool for secure information flow of stack-based assembly programs
C. Bernardeschi, N. De Francesco, G. LettieriVolume:
26
Year:
2002
Language:
english
Pages:
8
DOI:
10.1016/s0141-9331(02)00064-9
File:
PDF, 1.36 MB
english, 2002