Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki. An efficient security verification method for programs with stack inspection. In ACM Conference on Computer and Communications Security. pages 68-77, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.