Pieter H. Hartel, Michael J. Butler, Moshe Levy. The Operational Semantics of a Java Secure Processor. In Jim Alves-Foss, editor, Formal Syntax and Semantics of Java. Volume 1523 of Lecture Notes in Computer Science, pages 313-352, Springer, 1999. [doi]
Abstract is missing.