检索结果-维普期刊中文期刊服务平台

基于UCON_(ABC)模型的电子文档安全系统被引量：2: 1; 作者丁霞徐开勇 +1 位作者李立新李福林《计算机工程》 CAS CSCD 北大核心 2008年第2期127-129,143,共4页; 随着计算机网络技术的发展,资源共享的程度进一步加强,随之而来的信息系统安全问题也日益突出,保证信息系统中电子文档的安全是防护其内部信息泄露的关键。UCONABC模型实现了传统访问控制和现代访问控制的结合。该文设计和实现了一种基... 展开更多; 关键词 UCONABC模型电子文档安全系统引用监视器; 在线阅读下载PDF 职称材料

高安全级别可信数据库系统的自主访问控制机制设计中若干问题及其解决方法被引量：4: 2; 作者熊选东李立新王海洲《计算机工程与应用》 CSCD 北大核心 2002年第5期179-184,198,共7页; 该文在分析TCSEC对DBMS的DAC机制的要求的基础上,分析了DBMS的DAC的策略机制,讨论了将DAC机制包含在TCB中的实现实例,重点分析了高安全级别可信DBMS的DAC设计中的关键问题并给出了几种实现高可靠性DAC的几种方法。; 关键词 TCSEC 高安全级别可信数据库系统自主访问控制 DBMS 设计; 在线阅读下载PDF 职称材料

身份证实证书在可信计算中的应用被引量：3: 3; 作者周雁舟刘文清朱智强《计算机工程》 CAS CSCD 北大核心 2009年第3期21-22,70,共3页; 证书体系在可信计算中具有基础支撑作用,它参与完成了信任传递的整个过程。该文研究身份证实证书(AIK)的内容、产生和其他证书的关系,分析其在远端主机证明的作用和过程。用可信计算技术和AIK证书加强安全套接层(SSL)协议的方法和步骤解... 展开更多; 关键词可信计算身份证实证书远端证明安全套接层协议; 在线阅读下载PDF 职称材料

密钥交换过程的SDL模型分析: 4; 作者徐宁张涛王亚弟《计算机工程与设计》 CSCD 北大核心 2008年第20期5150-5154,共5页; 分析了一个信息安全产品的SDL设计模型,说明了密钥加密密钥交换的状态迁移过程,讨论了在使用SDL分析工具对模型进行分析、模拟、验证甚至代码生成中涉及的一些问题。通过实例分析,说明了形式化技术在工程中特别是安全系统的设计开发过... 展开更多; 关键词 SDL 密钥加密密钥状态迁移形式化验证; 在线阅读下载PDF 职称材料

题名基于UCON_(ABC)模型的电子文档安全系统被引量：2: 1; 作者丁霞徐开勇李立新李福林; 机构解放军信息工程大学电子技术学院研究所; 出处《计算机工程》 CAS CSCD 北大核心 2008年第2期127-129,143,共4页; 基金国家部委基金资助项目; 文摘随着计算机网络技术的发展,资源共享的程度进一步加强,随之而来的信息系统安全问题也日益突出,保证信息系统中电子文档的安全是防护其内部信息泄露的关键。UCONABC模型实现了传统访问控制和现代访问控制的结合。该文设计和实现了一种基于UCONABC模型的电子文档保护系统,论述了电子文档安全机制、系统结构及其关键技术。; 关键词 UCONABC模型电子文档安全系统引用监视器; Keywords UCONABC model electronic document security system refercnce monitor; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名高安全级别可信数据库系统的自主访问控制机制设计中若干问题及其解决方法被引量：4: 2; 作者熊选东李立新王海洲; 机构解放军信息工程大学电子技术学院研究所; 出处《计算机工程与应用》 CSCD 北大核心 2002年第5期179-184,198,共7页; 文摘该文在分析TCSEC对DBMS的DAC机制的要求的基础上,分析了DBMS的DAC的策略机制,讨论了将DAC机制包含在TCB中的实现实例,重点分析了高安全级别可信DBMS的DAC设计中的关键问题并给出了几种实现高可靠性DAC的几种方法。; 关键词 TCSEC 高安全级别可信数据库系统自主访问控制 DBMS 设计; Keywords TCSEC,high-level trusted DBMS ,Discretionary Access Control(DAC); 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名身份证实证书在可信计算中的应用被引量：3: 3; 作者周雁舟刘文清朱智强; 机构解放军信息工程大学电子技术学院研究所; 出处《计算机工程》 CAS CSCD 北大核心 2009年第3期21-22,70,共3页; 基金国家"863"计划基金资助项目(2006AA01Z433) 上海市科研基金资助项目(20057120126); 文摘证书体系在可信计算中具有基础支撑作用,它参与完成了信任传递的整个过程。该文研究身份证实证书(AIK)的内容、产生和其他证书的关系,分析其在远端主机证明的作用和过程。用可信计算技术和AIK证书加强安全套接层(SSL)协议的方法和步骤解决SSL协议中无法验证服务器程序真实性的问题。; 关键词可信计算身份证实证书远端证明安全套接层协议; Keywords trusted computing attestation identity credential remote attestation Secure Socket Layer（SSL） protocol; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名密钥交换过程的SDL模型分析: 4; 作者徐宁张涛王亚弟; 机构解放军信息工程大学电子技术学院研究所; 出处《计算机工程与设计》 CSCD 北大核心 2008年第20期5150-5154,共5页; 基金国家863高技术研究发展计划基金项目(2006AA01Z433) 装备预研基金项目(9140A16040206JB5203); 文摘分析了一个信息安全产品的SDL设计模型,说明了密钥加密密钥交换的状态迁移过程,讨论了在使用SDL分析工具对模型进行分析、模拟、验证甚至代码生成中涉及的一些问题。通过实例分析,说明了形式化技术在工程中特别是安全系统的设计开发过程中的应用过程。特点是运用SDL,分析得出了密钥加密密钥交换的框架结构,并使用比特状态探测算法对其进行了验证。; 关键词 SDL 密钥加密密钥状态迁移形式化验证; Keywords specification and description language key encryption key state transition formal validation; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于UCON_(ABC)模型的电子文档安全系统	丁霞徐开勇李立新李福林	《计算机工程》 CAS CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
2	高安全级别可信数据库系统的自主访问控制机制设计中若干问题及其解决方法	熊选东李立新王海洲	《计算机工程与应用》 CSCD 北大核心	2002	4	在线阅读下载PDF 职称材料
3	身份证实证书在可信计算中的应用	周雁舟刘文清朱智强	《计算机工程》 CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
4	密钥交换过程的SDL模型分析	徐宁张涛王亚弟	《计算机工程与设计》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料