Formalizing the safety of Java, the Java virtual machine, and Java card

ACM Computing Surveys

Volumn 33, Issue 4, 2001, Pages 517-558

  Hartel, Pieter H ^a   Moreau, Luc ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Common criteria; Programming

Indexed keywords

EID: 0000952504     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/503112.503115     Document Type: Article

References (5)

1. ABADI, M. 1999. Protection in programming-language translations. In Secure Internet Programming: Security Issues for Mobile and Distributed Objects, LNCS 1603, pp. 19-34. Springer-Verlag, Berlin.
2. ABADI, M., BURROWS, M., LAMPSON, B., AND PLOTKIN, G. 1993. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems 15, 4 (Sept.), 706-734.
3. ÁBRAHÁM-MUMM, E. AND DE BOER, F. S. 2000. Proof-outlines for threads in Java. In C. Palamidessi, Ed., 11th Concurrency Theory (CONCUR), LNCS 1877 (University Park, Penn., Aug.), pp. 229-242. Springer-Verlag, Berlin.
4. ABRIAL, J.-R. 1996. The B-Book: Assigning Programs to Meanings. Cambridge Univ. Press, UK.
5. AGESEN, O., DETLEFS, D., AND MOSS, J. E. B. 1998. Garbage collection and local variable type-precision and liveness in Java virtual machines. In Programming Language Design and Implementation (PLDI) (Montreal, Canada, June.), pp. 269-279. ACM press, New York.