information security; risk management; security ontology;
机译:形式化以提高安全性:加纳的习惯性土地保有权形式化
机译:AGDA正式化安全保存翻译对流量不敏感的安全类型
机译:基于审核技能的短期课程过去几年,支付卡行业一直在努力规范处理或处理支付卡交易的组织所需的安全措施标准。这项工作的成果是支付卡行业数据安全标准(当前版本为2.0)。
机译:形式化信息安全知识
机译:员工之间通过知识管理计划进行正式知识共享的动机和效果:多案例研究方法。
机译:中医知识的形式化组织和使用的本体框架
机译:形式化信息安全知识