掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Computer Security Foundations Workshop
Computer Security Foundations Workshop
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Finite-state noiseless covert channels
机译:
有限状态无噪声隐蔽频道
作者:
Millen J.K.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
2.
Deducibility security with dynamic level assignments
机译:
具有动态级别分配的推动安全性
作者:
Sutherland I.
;
Perlo S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
3.
Implementing a verification methodology for McCullough security
机译:
为McCullough安全性实施验证方法
作者:
Rosenthal D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
4.
A logic of knowledge and belief for reasoning about computer security
机译:
关于计算机安全的推理的知识和信仰的逻辑
作者:
Moser L.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
5.
Formal policies for trusted processes
机译:
可信流程的正式政策
作者:
Landauer J.
;
Redmond T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
6.
Safety via state transition language plus invariants
机译:
安全通过状态转换语言加不变
作者:
Marcus L.
;
Menas T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
7.
The SeaView verification
机译:
海景验证
作者:
Whitehurst R.A.
;
Lunt T.F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
8.
Obligation as the basis of integrity specification
机译:
义务作为完整性规范的基础
作者:
Glasgow J.I.
;
MacEwen G.H.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
9.
An optimization for information flow analysis
机译:
信息流分析的优化
作者:
Wray J.C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
10.
Achieving understandable results in a formal design verification
机译:
在正式的设计验证中实现可理解的结果
作者:
Neely R.B.
;
Freeman J.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
11.
Noninterference and unwinding for LOCK
机译:
锁定的非干扰和展开
作者:
Fine T.
;
Haigh J.T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
12.
Specifying security constraints with relaxation lattices
机译:
用松弛格指定安全约束
作者:
Herlihy M.P.
;
Wing J.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
13.
Security properties of ring brackets
机译:
环括号的安全性质
作者:
Ko H.-P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
14.
Controlled signalling systems and covert channels
机译:
受控信号系统和隐蔽频道
作者:
Wittbold J.T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
15.
Proceedings of the Computer Security Foundations Workshop II (Cat. No.89TH0255-0)
机译:
计算机安全基金会研讨会II(Cat。No.89Th0255-0)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
16.
Security properties consistent with the testing semantics for communicating processes
机译:
安全性属性与用于传送流程的测试语义一致
作者:
Johnson D.M.
;
Thayer F.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1989年
17.
Proceedings. The Computer Security Foundations Workshop III (Cat. No.TH0315-2)
机译:
诉讼程序。计算机安全基础研讨会III(猫。No.Th0315-2)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
18.
A policy model for denial of service
机译:
拒绝服务的政策模型
作者:
Amoroso E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
19.
A new polyinstantiation integrity constraint for multilevel relations
机译:
多级关系的新多层立诚信约束
作者:
Sandhu R.
;
Jajodia S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
20.
Categorising non-interference
机译:
对非干扰进行分类
作者:
Jacob J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
21.
Hookup security for synchronous machines
机译:
同步机的连接安全性
作者:
Millen J.K.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
22.
Security models for priority buffering and interrupt handling
机译:
优先级缓冲和中断处理的安全模型
作者:
Rosenthal D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
23.
Providing a flexible security override for trusted systems
机译:
为受信任的系统提供灵活的安全覆盖
作者:
Badger L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
24.
A formal framework for single level decomposition of multilevel relations
机译:
单层分解多级关系的正式框架
作者:
Jajodia S.
;
Sandhu R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
25.
Representing partial knowledge in an algebraic security model
机译:
代表代数安全模型中的部分知识
作者:
Meadows C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
26.
A logic of communication in hostile environment
机译:
敌对环境中的沟通逻辑
作者:
Bieber P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
27.
Quotient states and probabilistic channels
机译:
商状态和概率渠道
作者:
Moskowitz I.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
28.
Formal semantics for logics of cryptographic protocols
机译:
加密协议逻辑的正式语义
作者:
Syverson P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
29.
Formal modeling in a generalized framework for access control
机译:
在访问控制的广义框架中进行正式建模
作者:
La Padula L.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
30.
Information-flow analysis for covert-channel identification in multilevel secure operating systems
机译:
多级安全操作系统中隐蔽信道识别信息流程分析
作者:
He J.
;
Gligor V.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
31.
Petri net based modelling of information flow security requirements
机译:
基于Petri网络的信息流安全要求建模
作者:
Varadharajan V.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
32.
Information sharing in secure systems
机译:
安全系统中的信息共享
作者:
Gray J.W. III
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
33.
Secure information flow using security groups
机译:
使用安全组安全信息流
作者:
Foley S.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
34.
A logic for reasoning about security
机译:
一个推理安全的逻辑
作者:
Glasgow J.
;
MacEwen G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1990年
35.
Proceedings. The Computer Security Foundations Workshop IV (Cat. No.91TH0383-0)
机译:
诉讼程序。计算机安全基础研讨会IV(猫。No.910383-0)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
36.
The NRL protocol analysis tool: a position paper
机译:
NRL协议分析工具:位置纸
作者:
Meadows C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
37.
The value of semantics for the analysis of cryptographic protocols
机译:
加密协议分析的语义的价值
作者:
Syverson P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
38.
The conflict between confidentiality and integrity
机译:
机密性与完整性之间的冲突
作者:
Wiseman S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
39.
The LDV approach to polyinstantiation
机译:
多层立的LDV方法
作者:
OBrien D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
40.
Toward a universal integrity model
机译:
朝向普遍的完整模型
作者:
LaPadula L.J.
;
Williams J.G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
41.
Polyinstantiation: an inevitable part of a multilevel world
机译:
多层立:多级世界的不可避免的一部分
作者:
Lunt T.F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
42.
Handling infeasible specifications of cryptographic protocols
机译:
处理加密协议的不可行规范
作者:
Li Gong
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
43.
Complexity theoretic analysis of crypto-protocols-overview
机译:
Crypto-Cotals-概述的复杂性理论分析
作者:
Yacobi Y.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
44.
Implicit discretionary access propagation: a new interpretation of DAC
机译:
隐性自由裁量权访问传播:DAC的新解释
作者:
Sebes E.J.
;
Feiertag R.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
45.
On information flow security models
机译:
关于信息流安全模型
作者:
Gray J.W. III
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
46.
Protection against covert storage and timing channels
机译:
防止隐蔽存储和定时频道
作者:
Melliar-Smith P.M.
;
Moser L.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
47.
A proof of secrecy for a network security model
机译:
网络安全模型的保密证明
作者:
MacEwen G.
;
Glasgow J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
48.
Logics for cryptographic protocols-virtues and limitations
机译:
加密协议 - 美德和限制的逻辑
作者:
Gligor V.D.
;
Kailar R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
49.
On the refinement of non-interference
机译:
关于非干扰的改进
作者:
Graham-Cumming J.
;
Sanders J.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
50.
Analysis of a storage channel in the two phase commit protocol
机译:
两相提交协议中存储通道的分析
作者:
Costich O.L.
;
Moskowitz I.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
51.
The basic integrity theorem
机译:
基本完整性定理
作者:
Jacob J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
52.
Abductive and approximate reasoning models for characterizing inference channels
机译:
用于表征推理渠道的绑架和近似推理模型
作者:
Garvey T.D.
;
Lunt T.F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
53.
A definition of secure dependencies using the logic of security
机译:
使用安全逻辑的安全依赖性的定义
作者:
Bieber P.
;
Cuppens F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
54.
Separation of duty using high water marks
机译:
使用高水位分离职责
作者:
Foley S.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
55.
Quantitative evaluation of confidentiality by entropy calculation
机译:
熵计算定量评估机密性
作者:
Trouessin G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
56.
Multiple Trojan horse systems and covert channel analysis
机译:
多个特洛伊木马系统和隐蔽信道分析
作者:
Trostle J.T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
57.
A comparison of non-interference and non-deducibility using CSP
机译:
使用CSP的非干扰和非推动性的比较
作者:
Allen P.G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
58.
A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems
机译:
用于多级安全数据/知识库管理系统的非单调类型多级逻辑
作者:
Thuraisingham B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
59.
A formal model of security dependency for analysis and testing of secure systems
机译:
安全依赖性的正式模型,用于安全系统的分析和测试
作者:
McDermid J.A.
;
Qi Shi
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
60.
A secure kernelized architecture for multilevel object-oriented databases
机译:
用于多级面向对象数据库的安全内灵体系结构
作者:
Sandhu R.
;
Thomas R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
61.
On belief evolution in authentication protocols
机译:
关于身份验证协议的信仰演变
作者:
Kailar R.
;
Gligor V.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
62.
Hook-up property for information flow secure nets
机译:
用于信息流安全网的连接属性
作者:
Varadharajan V.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
63.
Towards a theory of penetration-resistant systems and its applications
机译:
朝向渗透系统及其应用的理论
作者:
Gupta S.
;
Gligor V.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1991年
64.
Proceedings. Computer Security Foundations Workshop V (Cat. No.92TH0447-3)
机译:
诉讼程序。计算机安全基础研讨会v(猫。No.92th0447-3)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
65.
The inference problem for computer security
机译:
计算机安全的推理问题
作者:
Garvey T.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
66.
A classical automata approach to noninterference type problems
机译:
非干扰类型问题的古典自动机方法
作者:
Moskowitz I.S.
;
Costich O.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
67.
Foundations of intrusion detection (computer security)
机译:
入侵检测的基础(计算机安全性)
作者:
Helman P.
;
Liepins G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
68.
Partial belief and probabilistic reasoning in the analysis of secure protocols
机译:
安全协议分析中的部分信仰和概率推理
作者:
Campbell E.A.
;
Safavi-Naini R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
69.
The expressive power of multi-parent creation in monotonic access control models
机译:
单调访问控制模型中多父创建的表现力量
作者:
Ammann P.
;
Lipton R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
70.
Causal security (computer systems)
机译:
因果安全(计算机系统)
作者:
Mowbray M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
71.
Attribute support for inter-domain use
机译:
属性支持对域间使用
作者:
Zurko M.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
72.
A framework for composition of security models
机译:
安全模型组成的框架
作者:
Landauer J.
;
Redmond T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
73.
Realisation of the Bell-LaPadula security policy in an OSI-distributed system using asymmetric and symmetric cryptographic algorithms
机译:
使用非对称和对称加密算法实现OSI分布式系统中的贝拉拉地带安全策略
作者:
Verschuren J.
;
Govaerts R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
74.
Some laws of non-interference (CSP algebra)
机译:
一些非干扰定律(CSP代数)
作者:
Graham-Cumming J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
75.
A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems. II
机译:
用于多级安全数据/知识库管理系统的非单调类型多级逻辑。 II
作者:
Thuraisingham B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
76.
Secure dependencies with dynamic level assignments
机译:
使用动态级别分配安全的依赖项
作者:
Bieber P.
;
Cuppens F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
77.
Unwinding and the LOCK proof referees study
机译:
展开和锁定裁判研究
作者:
Murphy S.R.
;
Crocker S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
78.
On requirements and security in a CCIS
机译:
关于CCI中的要求和安全性
作者:
OHalloran C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
79.
An algebraic approach to non-interference (computer security)
机译:
非干扰的代数方法(计算机安全性)
作者:
Pinsky S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
80.
An analysis of some delegation protocols for distributed systems
机译:
分布式系统的一些委派协议分析
作者:
Calvelli C.
;
Varadharajan V.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1992年
81.
1993 Computer Security Foundations Workshop VI Proceedings (Cat. No.93TH0561-1)
机译:
1993年计算机安全基金会研讨会VI议程(猫。No.93th0561-1)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
82.
A lattice of information
机译:
一个信息
作者:
Landauer J.
;
Redmond T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
83.
Variations on the themes of message freshness and replay-or the difficulty in devising formal methods to analyze cryptographic protocols
机译:
消息生气勃勃和重播主题的变化 - 或者难以制定正式方法来分析加密协议
作者:
Gong L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
84.
On analyzing the bus-contention channel under fuzzy time
机译:
在模糊时间下分析总线争论渠道
作者:
Gray J.W. III
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
85.
An introduction to the mathematics of trust in security protocols
机译:
对安全协议信任数学的介绍
作者:
Simmons G.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
86.
A logical formalization of secrecy
机译:
秘密的逻辑形式化
作者:
Cuppens F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
87.
On testing for absence of rights in access control models
机译:
访问控制模型中缺乏权利的测试
作者:
Sandhu R.S.
;
Ganta S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
88.
A Petri net representation of the Take-Grant model
机译:
Tak-Grant模型的Petri网代表
作者:
Marc D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
89.
Abstract machines for communication security
机译:
用于通信安全的抽象机器
作者:
Bieber P.
;
Boulahia-Cuppens N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
90.
Automated support for external consistency
机译:
自动支持外部一致性
作者:
Williams J.G.
;
La Padula L.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
91.
Towards formal analysis of security protocols
机译:
对安全议定书的正式分析
作者:
Mao W.
;
Boyd C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
92.
Modeling restrictive processes that involve blocking requests
机译:
建模限制过程,涉及阻塞请求
作者:
Rosenthal D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
93.
Information flow control in a parallel language framework
机译:
并行语言框架中的信息流控制
作者:
Banatre J.-P.
;
Bryce C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
94.
The concurrency control and recovery problem for multilevel update transactions in MLS systems
机译:
MLS系统中的多级更新事务的并发控制和恢复问题
作者:
Mathur A.G.
;
Keefe T.F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Computer Security Foundations Workshop》
|
1993年
意见反馈
回到顶部
回到首页