随着信息时代的发展，人们越来越关注隐私数据的保护，信息安全问题变得越来越突出。安全协议作为网络通信中保证数据安全传输的基石，其......

基于XML技术的Web服务体系是一种新兴的分布式计算模型,其核心的消息交换协议为SOAP(Simple Object Access Protocol,简单对象访问......

随着移动设备的迅速普及以及移动互联网的飞速发展,移动支付给人们的生活带来很大的便利。移动支付是实现移动电子商务交易成功的......

随着网络的快速发展,信息安全从最开始的军事领域逐步渗入到了商业应用和人们的日常生活中,如信用卡支付、智能卡、股票交易、对医......

在信息化高速发展的今天,人们越来越多的使用网络来获知信息,也越来越多的将个人信息提交到网络,社交聊天工具和一些网络应用的普......

使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相......

摘 要 随着物联网技术的日益成熟，智能家居也得到了大力的发展。以物联网技术为基点的智能家居使得人们的家居生活变得安全、舒适、......

本文介绍了在局域网中如何通过数字签名技术实现文件收发过程中的认证性和不可抵赖性,并通过加密技术和单向散列函数实现文件在传......

一、Web服务安全需求分析安全问题是任何分布式软件应用取得成功必须要解决的问题。在分布式软件系统中,互操作的基本安全需求主要......

本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分......

可否认的群密钥协商协议是指两方或多方参与者在一个开放的公共信道上通过协商得到一个共享的会话密钥,并利用该会话密钥建立一个......