共 50 条
- [41] Security enhancement of Java']Java Remote Method Invocation DepCos-Relcomex 2006, 2006, : 223 - 230
- [42] A formal specification in JML of Java']Java security package ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2007, : 363 - 368
- [43] SecureQualitas: A Security Corpus of Real Java']Java Applications 2019 INTERNATIONAL CONFERENCE ON CYBER SECURITY FOR EMERGING TECHNOLOGIES (CSET), 2019,
- [45] Improving Usability of Information Flow Security in Java']Java PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 11 - 20
- [47] Teaching Java']Java Security to Enhance Cybersecurity Education 2013 PROCEEDINGS OF IEEE SOUTHEASTCON, 2013,
- [48] Mobile code security by Java']Java bytecode instrumentation DISCEX'01: DARPA INFORMATION SURVIVABILITY CONFERENCE & EXPOSITION II, VOL II, PROCEEDINGS, 2001, : 27 - 40
- [49] Java security extensions for a Java server in a hostile environment Proceedings - Annual Computer Security Applications Conference, ACSAC, 2001, 2001-January : 64 - 73