您当前的位置:
首页 >
文章列表页 >
一种基于系统动作的非确定不干扰模型
论文 | 更新时间:2025-07-16
    • 一种基于系统动作的非确定不干扰模型

    • A Noninterference Model Based on Actions for Nondeterministic Systems

    • 司天歌 ,谭智勇 ,刘 铎 ,戴一奇
    • 电子学报 2008年36卷第11期 页码:2205-2209

    移动端阅览

  •  
  •  
  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束,您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束,您可以通过登录账户,到个人中心,购买VIP会员阅读全文。
已是VIP会员?
去登录 >

71

浏览量

950

下载量

1

CSCD

文章被引用时,请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

局域网络中的L-BLP安全模型
基于用户同意的隐私保护协议形式化描述与验证
支持云代理重加密的CP-ABE方案
基于属性的访问控制研究进展
基于密码学的访问控制和加密安全数据库

相关作者

张尧学
马丽
姜火文
彭云
赵开强
康萍
刘彬
郭真

相关机构

江西师范大学数字产业学院
江西科技师范大学大数据科学学院
中国电子科技集团公司第30研究所
电子科技大学网络与数据安全四川省重点实验室
四川师范大学计算机科学学院