首页> 外文OA文献 >Object Oriented Verification Kernels for Secure Java Applications

【2h】

Object Oriented Verification Kernels for Secure Java Applications

机译：适用于安全Java应用程序的面向对象的验证内核

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Holger Grandy; Kurt Stenzel; Wolfgang Reif;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modelling, prototyping and verifying concurrent and distributed applications using object-oriented Petri nets [J] . Milan Ceska, Vladimir Janousek, Tomas Vojnar Kybernetes: The International Journal of Systems & Cybernetics . 2002,第9a10期

机译：使用面向对象的Petri网对并发和分布式应用程序进行建模，原型设计和验证
2. Object Oriented Mutation Applied in Java Application programming Interface and C++ Classes [J] . Mr. Titu Singh Arora, Prof. Ravindra Gupta International Journal of Advanced Computer Research . 2013,第10期

机译：面向对象的突变在Java应用程序编程接口和C ++类中的应用
3. Object Oriented Mutation Applied in Java Application programming Interface and C++ Classes [J] . Titu Singh Arora, Ravindra Gupta International Journal of Advanced Computer Research . 2011,第1期

机译：面向对象的突变在Java应用程序编程接口和C ++类中的应用
4. Object oriented verification kernels for secure Java applications [C] . Grandy H., Stenzel K., Reif W. Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on . 2005

机译：适用于安全Java应用程序的面向对象的验证内核
5. Cognitive characteristics of learning Java, an object -oriented programming language [D] . White, Garry Lynn. 2001

机译：学习Java（一种面向对象的编程语言）的认知特征
6. Secure JAVA Applets and Applications: Guidelines and Lessons Learnt from the JAVA Security Model [O] . Isabelle Bichindaritz, Muriel F. Siadak, Jane Jocom, 1999

机译：安全的JAVA小程序和应用程序：从JAVA安全模型中学到的准则和经验教训
7. A Kernelized Architecture for Multilevel Secure Object-Oriented Databases Supporting Write-Up [O] . Roshan K. Thomas, Ravi S. Sandhu, Ravi S. S 1993

机译：支持写入的多级安全面向对象数据库的核心架构
8. KSOS Kernel Verification Results. Kernelized Secure Operating System [R] . Bynum, G. D., Goldman, R. F., Stewart, J. 1980

机译：KsOs内核验证结果。核心安全操作系统

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号