Fred B. Schneider 人物

相关论文查看全部 (10)

Enforceable security policies
2000ACM Transactions on Information and System Security引用 1263
Defining liveness
1985Information Processing Letters引用 1022
Fail-stop processors
1983ACM Transactions on Computer Systems引用 769

相关事件

暂无数据

相关专利

暂无数据

相关文章

暂无数据