共 50 条
- [1] Using access control for secure information flow in a Java']Java-like language 16TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2003, : 155 - 169
- [3] A secure Java']Java™ Virtual Machine USENIX ASSOCIATION PROCEEDINGS OF THE NINTH USENIX SECURITY SYMPOSIUM, 2000, : 19 - 34
- [4] Secure Java']Java development with UML ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY, 2001, 78 : 107 - 124
- [6] Mechanisms for secure modular programming in Java']Java SOFTWARE-PRACTICE & EXPERIENCE, 2003, 33 (05): : 461 - 480
- [7] Enforcing Secure Object Initialization in Java']Java COMPUTER SECURITY-ESORICS 2010, 2010, 6345 : 101 - +
- [8] Secure object sharing in Java']Java Card PROCEEDINGS OF THE USENIX WORKSHOP ON SMARTCARD TECHNOLOGY (SMARTCARD '99), 1999, : 119 - 127
- [9] Secure Refactoring with Java']Java Information Flow DATA PRIVACY MANAGEMENT, AND SECURITY ASSURANCE, 2016, 9481 : 264 - 272