Computer Security – ESORICS 2006: 11th European Symposium on ...
Preview
References [1] Massimo Bartoletti, Pierpaolo Degano, and Gian Luigi Ferrari. Static analysis for stack inspection. Electronic Notes in Computer Science, 54, 2001. [2] Massimo Bartoletti, Pierpaolo Degano, and Gian Luigi Ferrari. History- based ...