首页> 外文OA文献 >Using B Method to Formalize the Java Card Runtime Security Policy for a Common Criteria Evaluation

【2h】

Using B Method to Formalize the Java Card Runtime Security Policy for a Common Criteria Evaluation

机译：使用B方法形式化Java Card运行时安全策略以进行通用标准评估

页面导航

著录项
相似文献
相关主题

著录项

作者
S. Motre; Stéphanie Motré; C. Téri;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formalization of Generics for the. NET Common Language Runtime [J] . Dachuan Yu, Andrew Kennedy, Don Syme ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004,第1期

机译：泛型的形式化。 NET公共语言运行时
2. Audit Skill-based Short Course The payment card industry has been working over the past several years to formalize a standard for security practices that are required for organizations who process or handle payment card transactions. The fruit of this labor is the Payment Card Industry Data Security Standard (currently at version 2.0). [J] . SC magazine . 2011,第7Suppla期

机译：基于审核技能的短期课程过去几年，支付卡行业一直在努力规范处理或处理支付卡交易的组织所需的安全措施标准。这项工作的成果是支付卡行业数据安全标准（当前版本为2.0）。
3. Security requirements for e-government services: a methodological approach for developing a common PKI-based security policy [J] . Costas Lambrinoudakis, Stefanos Gritzalis, Fredj Dridi, Computer Communications . 2003,第16期

机译：电子政务服务的安全要求：一种开发基于PKI的通用安全策略的方法论方法
4. Using B Method to Formalize the Java Card Runtime Security Policy for a Common Criteria Evaluation [C] . Stéphanie Motré, Corinne Téri National information systems security conference . 2000

机译：使用B方法形式化Java Card运行时安全策略以进行通用标准评估
5. Content analysis of healthcare information security policy for common security themes and adversary thinking methods [D] . Pardue, Bridget 2016

机译：针对常见安全主题和对手思维方法的医疗保健信息安全策略的内容分析
6. Evaluation of Two Commercial Broth Microdilution Methods Using Different Interpretive Criteria for the Detection of Molecular Mechanisms of Acquired Azole and Echinocandin Resistance in Four Common [O] . Ha Jin Lim, Jong Hee Shin, Mi-Na Kim, 2020

机译：用不同解释标准的评价两种商用肉汤微量稀释方法以检测唑唑和赤素抗升性的分子机制及四种常见
7. The Common criteria for information technology security evaluation : implications for China's policy on information security standards [O] . Ernst, Dieter, Martin, Sheri 2010

机译：信息技术安全评估的共同标准：对中国信息安全标准政策的影响
8. Common Criteria Evaluation and Validation Scheme Validation Report: Smart Card Security User Group (SCSUG) Smart Card Protection Profile (SCPP), Version 3.0. [R] . 2001

机译：通用标准评估和验证方案验证报告：智能卡安全用户组（sCsUG）智能卡保护配置文件（sCpp），版本3.0。

Using B Method to Formalize the Java Card Runtime Security Policy for a Common Criteria Evaluation

著录项

相似文献

相关主题

期刊订阅