共 50 条
- [41] Certifying native Java']Java Card API by formal refinement SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2006, 3928 : 313 - 328
- [42] A modular Java']Java API for object-oriented databases TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 55 - 60
- [43] Model-based Testing of the Java']Java network API ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (245): : 46 - 51
- [47] The Lifetime of Android API Vulnerabilities: Case Study on the Java']JavaScript-to-Java']Java Interface SECURITY PROTOCOLS XXIII, 2015, 9379 : 126 - 138
- [49] Detecting Java']Java Theft Based on Static API Trace Birthmark ADVANCES IN INFORMATION AND COMPUTER SECURITY, PROCEEDINGS, 2008, 5312 : 121 - 135