Coarse grained Java']Java security policies

被引:0
|
作者
Jensen, T [1 ]
Le Métayer, D [1 ]
Thorn, T [1 ]
机构
[1] Inst Rech Informat & Syst Aleatoires, CNRS, INRIA, F-35042 Rennes, France
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:296 / 296
页数:1
相关论文
共 50 条
  • [41] Security enhancement of Java']Java Remote Method Invocation
    Zalewski, Dominik
    DepCos-Relcomex 2006, 2006, : 223 - 230
  • [42] A formal specification in JML of Java']Java security package
    Agarwal, Poonam
    Rubio-Medrano, Carlos E.
    Cheon, Yoonsik
    Teller, Patricia. J.
    ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2007, : 363 - 368
  • [43] SecureQualitas: A Security Corpus of Real Java']Java Applications
    Benabidallah, Raounak
    Sadou, Salah
    Borne, Isabelle
    2019 INTERNATIONAL CONFERENCE ON CYBER SECURITY FOR EMERGING TECHNOLOGIES (CSET), 2019,
  • [44] Finjan - Security for Java']Java programs and other software
    Brown, E
    FORTUNE, 1997, 136 (01) : 84 - 86
  • [45] Improving Usability of Information Flow Security in Java']Java
    Smith, Scott F.
    Thober, Mark
    PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 11 - 20
  • [46] Security monitor inlining and certification for multithreaded Java']Java
    Dam, Mads
    Jacobs, Bart
    Lundblad, Andreas
    Piessens, Frank
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (03) : 528 - 565
  • [47] Teaching Java']Java Security to Enhance Cybersecurity Education
    Haywood, Adley
    Yu, Huiming
    Yuan, Xiaohong
    2013 PROCEEDINGS OF IEEE SOUTHEASTCON, 2013,
  • [48] Mobile code security by Java']Java bytecode instrumentation
    Chander, A
    Mitchell, JC
    Shin, I
    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
    Wheeler, David M.
    Conyers, Adam
    Luo, Jane
    Xiong, Alex
    Proceedings - Annual Computer Security Applications Conference, ACSAC, 2001, 2001-January : 64 - 73
  • [50] How computer security works - The java']java sandbox
    Gosling, J
    SCIENTIFIC AMERICAN, 1998, 279 (04) : 109 - 109