Java Security Model and Bytecode Verification 1
Download:
by Haiping Xu
http://www.eecs.uic.edu/~hxu1/./Papers/JavaSecurity.PDF
Add To MetaCart
Abstract:
Citations
| 996 | Automatic verification of finite-state concurrent systems using temporal logic specifications – Clarke, Emerson, et al. - 1986 |
| 890 | The Java virtual machine specification – Lindholm, Yellin - 1999 |
| 181 | A type system for java bytecode subroutines – Stata, Abadi - 1998 |
| 121 | Going Beyond the Sandbox: An Overview of the New Security Architecture – Gong, Mueller, et al. - 1997 |
| 62 | Java Security: Present and Near Future – Gong - 1997 |
| 49 | A formal specification of Java Virtual Machine instructions for objects, methods and subroutines – Qian - 1998 |
| 45 | A specification of Java loading and bytecode verification – Goldberg - 1998 |
| 10 | Java bytecode verification using model checking – Posegga, Vogt - 1998 |
| 3 | Kimera: A Java system architecture – Sirer, McDirmid, et al. - 1997 |
| 2 | Java security – Bank - 1995 |
| 1 | Security grows up: the Java 2 platform security model – Levin - 1998 |
| 1 | Secure computing with Java: now and the future – Summary - 1998 |
| 1 | Model checking guided tour – Clark, Berezin, et al. - 1998 |
