首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   1篇
  自动化技术   2篇
  2002年   1篇
  2001年   1篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
安全计算机系统的Bell—LaPadula形式化模型   总被引:3,自引:0,他引:3       下载免费PDF全文
一、引言著名的Bell-LaPadula形式化模型(简称为BLP模型)是由MITRE公司的Bell和LaPadula在文中提出的,随后被广泛用于形式化地描述和证明计算机系统的安全。文给出了信息保密系统的Bell-LaPadula模型的形式化描述,并证明了几个结论。其中一个重要的结论就是,判断信息系统是否为保密系统的充分必要条件。但我们发现,该结论的证明是错误的。事实上,文给出的只是一个充分条件,而不是必要条件。另外,文将Bell-LaPadula作了修改和扩充,得到了一个新的修改BLP模型,并成功地将修改后的模型用于设计SecLinux安全操作系统。但文并没有给出修改BLP模型的形式化证明。借助于一个新的概念-动作(action),我们给出了在Bell-LaPadula形式化模型下,计算机系统安全的充分必要条件。同时,本文还对Bell-LaPadula形式化模  相似文献
2.
门限签名是对普通数字签名的推广,其中签名的生成必须由多个成员合作才能完成,但签名的验证只需要知道群体的公开密钥即可进行,Shoup在2000年的欧洲密码会议上提出了一个切实可行的门限RSA签名方案,在此对Shoup的这一方案作了改进,使得改进方案不仅在安全性上与原方案相同,而且性能更好,更为重要的是,改进方案还可以扩展到门限不可否认签名的情形。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号