搜索结果: 1-7 共查到“计算机应用 安全性”相关记录7条 . 查询时间(0.477 秒)
对Tang等（TANG Y，LEE P，LUI J，et al. Secure overlay cloud storage with access control and assured deletion. IEEE Transactions on Dependable and Secure Computing，2012，9（6)：903-916）提出的一种云存储的细粒度访问控制方案进行安全性分析...
交叉冗余体系结构的安全性分析
交叉冗余体系结构 马尔可夫模型 安全性
2010/5/4
为确保列车运行安全和提高运输效率，迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法，根据系统特性及系统各部分间的独立性，将系统各部分的失效率划分为几个独立不相关的分量，充分考虑到各部分失效率对系统安全性的影响，利用系统分解和模型压缩的方法解决状态空间的激增问题，并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。
通过对影响网络系统安全性的主要因素进行分析,提出了改进的用户验证、URL请求验证和抗SQL注入式攻击等几种提高网络安全性的方法,并给出了每种方法的实现流程图和用户验证的部分代码,应用结果表明,这些方法能有效地提高网络系统的安全性.
运用有限元软件ANSYS建立有限元模型，对太阳自动跟踪机构进行模态分析、启动和停机振动分析、10级风载荷静力分析以及7级近源地震载荷的谱分析。对机构进行详细模拟分析并给出了求解全过程。分析结果表明，启动和停机引起的震动频率小于固有频率，不会引起共振现象；机构的刚度和强度验算表明，分别在10级风载荷和7级近源地震载荷下，机构可以达到设计要求；10级风载荷对机构造成的破坏力大于7级近源地震载荷。
一种具有前向安全性的远程口令认证系统*
口令认证 前向安全 Schnorr系统 IC卡
2008/3/6
把单向函数和前向安全的方法引进到远程口令认证系统(Remote Password Authentication System, PRAS)中，提出了一个新颖高效、具有前向安全性的口令认证系统。它能够防止攻击者的中间人攻击，同时在认证阶段引入单向函数，显著减少了加密消息的数量，提高了系统的认证速度。该系统在口令存储空间和认证速度方面远比基于ElGamal系统的方法优越，更适于IC卡的应用。
基于类pi演算的电子支付协议安全性形式化研究*
类pi演算 电子支付协议 认证性 匿名性
2008/3/3
设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。