首页>外文会议>Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on

Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on

召开年：
召开地：Oakland, CA
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A little knowledge goes a long way: faster detection of compromiseddata in 2-D tables

机译：一点点知识就可以走很长一段路：更快地检测到受感染的计算机二维表中的数据
- 作者：Gusfield D.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
2.Transaction processing in multilevel-secure databases usingreplicated architecture

机译：使用以下命令在多级安全数据库中进行事务处理复制架构
- 作者：Jajodia S.;Kogan B.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
3.A security architecture and mechanism for data confidentiality inTCP/IP protocols

机译：数据机密性的安全体系结构和机制TCP / IP协议
- 作者：Ramaswamy R.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
4.The deductive theory manager: a knowledge based system for formalverification

机译：演绎理论管理器：基于知识的形式系统验证
- 作者：Di Vito B.;Garvey C.;Kwong D.;Murray A.;Solomon J.;Wu A.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
5.A hierarchical methodology for verifying microprogrammedmicroprocessors

机译：验证微程序的分层方法微处理器
- 作者：Windley P.J.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
6.Naming and grouping privileges to simplify security management inlarge databases

机译：命名和分组特权以简化安全管理大型数据库
- 作者：Baldwin R.W.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
7.On the formal specification and verification of a multipartysession protocol

机译：关于多方的正式规范和验证会话协议
- 作者：Cheng P.-C.;Gligor V.D.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
8.Multiversion concurrency control for multilevel secure databasesystems

机译：多级安全数据库的多版本并发控制系统
- 作者：Keefe T.F.;Tsai W.T.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
9.Adaptive real-time anomaly detection using inductively generatedsequential patterns

机译：使用感应生成的自适应实时异常检测顺序模式
- 作者：Teng H.S.;Chen K.;Lu S.C.
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》
10.Proceedings. 1990 IEEE Computer Society Symposium on Research inSecurity and Privacy (Cat. No.90CH2884-5)

机译：议事录。 1990年IEEE计算机学会计算机科学研讨会安全性和隐私权（目录号90CH2884-5）
- 会议名称：《Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on》