Implicit flows in malicious and nonmalicious code
From MaRDI portal
Publication:3060986
DOI10.3233/978-1-60750-100-8-301zbMath1211.68100OpenAlexW2293688329MaRDI QIDQ3060986
Andrei Sabelfeld, Keqin Li, Alejandro Russo
Publication date: 13 December 2010
Full work available at URL: http://www.cse.chalmers.se/~andrei/mod09.pdf
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)
Uses Software