安全验证相关论文
中国从上世纪80年代末引入预应力钢筒混凝土管（Prestressed Concrete Cylinder Pipe,简称PCCP）技术,现在已初步形成自己的一套设计、......
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题，密码算法......
深度神经网络在许多复杂应用场景中证明了其替代人类智能进行决策的潜力。信息物理融合系统中大量嵌入了深度神经网络控制器进行智......
自动驾驶系统的安全性是自动驾驶汽车实现量产的1项重大挑战。目前应用的诸多安全性验证方法,如道路测试等,在实际的应用中都呈现......
通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具......
2000年8月1日,英特尔公司宣布其面向电子商务的网络新品牌 NetStructure~(TM)的中文名称——“网擎”,并发布了两款新型英特尔网......
本文主要针对暴露面资产存在的安全漏洞进行分析和总结,并针对常见的安全漏洞如命令执行、SQL注入、跨站脚本、认证绕过和弱口令从......
随着集成电路复杂度的增加，通过编写定向测试为主导的传统验证方法已经无法满足集成电路设计的需求，硬件验证难度也越来越大，集成电路......
现代科学研究和工程实践对高性能计算的需求越来越强烈。Internet的出现和普及为全国各地的科研和工程技术人员远程使用各计算中心......
密码协议是以密码学为基础以达到密钥分配与身份认证等目的的一种消息交换协议，是实现计算机网络系统安全的关键，在投入使用之前应该......
随着智能手机的普及，越来越多的用户开始使用手机进行消费支付，但现存的手机银行应用需要实时在线，并且它复杂的操作步骤已经不能满足......
随着网络技术的飞速发展,网络规模、复杂性、异构性逐渐增强。网络管理逐渐从单纯的网络资源管理扩展到较为复杂的网络系统资源管......
智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题。智能合约编写语言及其不可篡改特性,可能导致安全......
随着现代信息技术的不断发展,物联网已经进入各个领域,并得到了广泛应用,其中,智能家居物联网也得到了快速发展并走进了千家万户。......
针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,本文基于形式化的可达性方法分析车辆自主决策行为......
针对基于功能验证和侧信道分析的硬件安全漏洞检测方法的不足,提出了一种结合Yosys形式化验证能力和门级信息流追踪方法对集成电路......
【摘要】目前，各级各类中职学校基本上都已建成校园网，而且都针对各自的教育教学需求和管理的需求在校园网中布署了相应的网络版的应......
从事网上交易的人最关心的莫过于安全和速度了,一提起网络安全,大多数人首先想到的一定是“防火墙”,事实上,在网络遭到攻击时,防......
近期,国内外一批大网站均受到了黑客的攻击,其大多采用了IP欺骗的方法。下面,我们就对它的原理进行一下简单剖析。 信任关系 在Un......
根据武汉分行对电子邮件(LotusDomino/Notes)系统 R5升级工作的统一部署,宜昌中支科技人员参加完武汉分行辖区电子邮件系统升级培......
探讨远程财务管理是否可以实现,合理运用网络技术、降低网络开销、形成有严格安全验证的开放式系统结构,完全基于模块化的面向对象......
为解决传统单点登录系统的可扩展性和身份联合问题,将系统划分为不同的安全域,每个安全域具有域内的安全验证服务器,并且不同的安......
尴尬的微软账号 由于注册微软账号信息比较繁琐，很多国内用户并不习惯使用它去享受各种验证服务。于是，经常更换WP8手机或Windows......
最近,农业部批准3种转基因大豆入华,引发民众对食用转基因大豆安全性的疑虑。农业部农村经济研究中心副主任邓志喜表示,公众的质疑......
·摩托车自动稳光器该专利是针对市场上出售１００C和７０C等摩托车中照明系统的不足，而设计出来的自动稳光器。它能够检测出发动机的运行状态......
概况:厦门大学能源学院成立于2007年9月,以国家能源科技重大需求和海峡西岸经济发展为导向,通过整合、引进、提高,建成我国一流的......
一、共享拨号调制解调器1.组网需求 利用公共电话网实现Internet接入。2.组网方案 见图1。调制解调器既可以采用传统的模拟调制解......
为了给e刀客一个直观的感受,Cisco的产品经理拿出了他们新推出的路由器产品——1760,对于Cisco来说,这是一个高度战略性的产品。 ......
无线网络为用户带来便利的同时,也带来了安全性问题。如何在保证无线网络工作效率的同时,确保用户安全性,是本文研究的重点。
Wir......
通过CIPSafety扩展协议,将标准自动化和安全自动化融合在同一种技术中,可以给用户带来更灵活的系统集成、更高的生产效率和更小的......
为了赶上欧洲的竞争对手,美国对安全现场总线的标准做出一些改变。而开发商们也证明安全现场总线可以提供传统硬接线所具有的所有......
分析了电力信息网络面临的安全风险及安全要求，提出对电力信息网络中Web业务系统进行安全分析和控制的必要性。结合实际，从技术原理......
针对现场总线传输过程中可能出现的通信错误,本文主要研究现场总线功能安全验证工作。运用Markov模型对现场总线功能安全技术进行......
近年来.移动支付逐渐将注意力转移到农村市场.由于监管的相对缺乏和客户自身金融安全防范意识薄弱.移动支付安全问题显得更加突出......
轨道交通是我国交通体系中的一个重要组成部分,随着轨道交通的日益完善,功能系统日益复杂,安全问题也不断突出。列车运行控制系统......
随着我国经济的持续发展,矿产资源对社会和国民经济可持续健康的保障作用越来越凸显,矿产资源管理成为人们日益关注的问题。近年来......
电子商务是随着互联网的发展而形成的新的商务形式,信息安全则是保障电子商务正常运行的前提与关键。本文针对电子商务活动在教学......
本文对高效安全的微支付协议问题进行了研究。电子支付根据其金额的大小可以分为宏支付和微支付。宏支付一般交易金额较大、安全性......
分析了HTTP基本验证、NT安全模型以及IIS的用户安全机制,讨论了它们在用户安全验证中存在的问题和改进的设想,并给出了一种基于ISA......
1 让远程桌面进行安全验证rn尽管远程桌面功能并不是Windows Vista系统所特有,不过新系统环境下的远程桌面功能有着与众不同的新......
0引言Linux是一个多任务、多用户的操作系统,它本身可以提供诸如SSH、Mail、FTP等众多服务。但Linux提供的服务大多数本身并不具有......
