开始搜索几个单词就足够了。如果您需要进行更复杂的查询,请使用以下提示进行指导。
问题标题:2007年软件工程基础:选定的贡献
文章类型:研究文章
作者:穆罕默德·托拉比·达什蒂|Srijith Krishnan奈尔|雨果·容克
附属公司:CWI荷兰阿姆斯特丹。[电子邮件保护]|荷兰阿姆斯特丹Vrije大学。[电子邮件保护]|埃因霍温理工大学,荷兰。[电子邮件保护]
注:[]通信地址:埃因霍温理工大学,荷兰埃因霍温5600 MB 513号邮政信箱
摘要:我们引入了Nuovo DRM,这是一种数字版权管理方案,旨在提供正式和实用的安全保障。该方案基于最近的DRM我们在中正式规定的方案?CRL过程代数语言。这个原方案规定了以下安全要求:效果性,内容伪装的保密性和抵抗力。我们将这些安全性正式化要求以及强大的公平性,并正式检查原始方案根据这些要求。这个验证步骤揭示了几个安全性这些弱点由Nuovo DRM解决。除此之外介绍了几个程序实践,以增强方案。随后对Nuovo DRM的有限模型进行了模型检查并显示满足其设计要求,包括保密、公平和抵抗满足于伪装。
日志:计算机基础理论2008年,第89卷,第4期,第393-417页