解决的问题非常多样,这再次说明了安全性如何贯穿现代软件工程实践的所有活动。我们将讨论XACML策略的优化,隐私策略的执行,Petrinets对安全模式的正式描述,安全检查与版本控制的集成,运行时验证作为监视安全协议的手段的可行性和使用,以及自动化。基于内容的签名生成,可以抵抗中毒攻击,覆盖率指标(可用于评估在SQL查询上下文中应用程序的安全性测试是否完整)以及源代码上的软件安全性指标。
机译:在安全协议中免费绑定消息-扩展各种安全属性
机译:普遍监控和机会安全:捍卫互联网协议
机译:用于可达性和等价属性的可判定类别的安全协议
机译:安全协议,属性及其监控
机译:信息安全性和量子力学:量子协议的安全性。
机译:利用传真到PDF技术提高多中心随机试验的安全性机密性协议遵循性后续性和易于监控
机译:安全协议,属性及其监视