位置：成果数据库 > 期刊 > 期刊详情页
主动网络结点操作系统中安全管理的设计
  • 期刊名称：计算机工程
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：中国科学技术大学
  • 页码：31(23)，pp.127-129
  • 语言：中文
  • 相关项目：类型论在软件安全方面的应用研究
作者： 曹永春|华蓓|葛琳|陈虓将|
同期刊论文项目
类型论在软件安全方面的应用研究
期刊论文 19
同项目期刊论文
一种用于Java虚拟机的类型化低级语言
Java虚拟机上的类型重建
LALR(1)解析器的再工程：剖析YACC和CUP
带谓词的XPath查询的即时处理
一种类型化低级语言的设计与应用
一个支持位运算推理的抽象机器
移动计算系统信息流安全
用数据流分析方法检查程序信息流安全
分布式计算系统信息流安全
基于多分支语句的控制流迷惑技术
基于复用距离的cache失效率分析
XSIEQ——一种立即计算的XML流查询系统
一种逐层提升缓冲的XML流查询自动机
一种汇编程序的形式验证框架
一个支持位运算形式化推理的抽象机
动态存储管理安全验证的Coq实现
基于抽象解释的代码迷惑有效性比较框架