排序方式： 共有11条查询结果，搜索用时 375 毫秒
1.
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具. 相似文献
2.
基于到达时间差的无线传感器网络中Sybil攻击检测方案 总被引：1，自引：0，他引：1
As wireless sensor networks （WSN） are deployed in fire monitoring, object tracking applications, security emerges as a central requirement. A case that Sybil node illegitimately reports messages to the master node with multiple non-existent identities （ID） will cause harmful effects on decision-making or resource allocation in these applications. In this paper, we present an efficient and lightweight solution for Sybil attack detection based on the time difference of arrival （TDOA） between the source node and beacon nodes. This solution can detect the existence of Sybil attacks, and locate the Sybil nodes. We demonstrate efficiency of the solution through experiments. The experiments show that this solution can detect all Sybil attack cases without missing. 相似文献
3.
INTRODUCTIONWeconsidertheproblemofauserwhowantstogetamessagesignedbyasignerinablindanduntraceableway .Themessagesignedcanbedividedintotwoparts.Onepart(public)canbeknowntothesigner (asinthetraditionalsigna turescheme)whiletheotherpart (private)shouldnotbeknowntothesigner (asintheblindsignaturescheme) .ThistypeofsignatureiscalledanUntraceablePartiallyBlindSigna ture.Forexample ,auserwantsabanktosignacheque.Thebankjustcaresaboutthevalueofthecheque (thepartthatthesignerknows) ,butdoesnotcar… 相似文献
4.
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具. 相似文献
5.
多拍卖物的无收据密封式电子拍卖协议 总被引：4，自引：0，他引：4
使用秘密分享的方法来构造多拍卖物的电子拍卖协议 ,并按照电子拍卖协议应该满足的各种性质对提出的协议进行了分析 .相对于适用于单拍卖物的电子拍卖协议 ,适用于多拍卖物的电子拍卖协议具有更广泛的用途 .提出的协议具有“无收据”的性质 ,可以更好地保护竞拍者的隐私 . 相似文献
6.
从工程实践角度,针对在人机界面设计中,似乎无章可循的问题,结合工程实践讨论了人机界面的重要性、系统对画面监控和管理平台的基本要求及图形用户界面设计的一些原则。 相似文献
7.
从实际应用角度,针对交换机在使用过程中经常出现的故障,结合实践经验讨论交换机故障的分类、产生的原因,给出了具体的解决方法和步骤。 相似文献
8.
使用秘密分享的方法来构造多拍卖物的电子拍卖协议,并按照电子拍卖协议应该满足的各种性质对提出的协议进行了分析。相对于适用于单拍卖物的电子拍卖协议,适用于多拍卖物的电子拍卖协议具有更广泛的用途。提出的协议具有“无收据”的性质,可以更好地保护竞拍者的隐私。 相似文献
9.
大规模ad hoc网络下的高效的主动RSA方案 总被引：1，自引：0，他引：1
A previous proactive RSA scheme for large-scale ad hoc network has been shown to be faulty. In this paper, we present a new proactive RSA scheme for ad hoc networks, which includes four protocols： the initial key distribution protocol, the share refreshing protocol, the share distribution protocol, and the signature generation protocol. This scheme has two advantages： the building blocks are secure, and the system is efficient. 相似文献
10.
This paper proposes a new untraceable Partially Blind Signature scheme which is a cross between the traditional signature scheme and the blind signature scheme. In this proposed scheme, the message M that the signer signed can be divided into two parts. The first part can be known to the signer (like that in the traditional signature scheme) while the other part cannot be known to the signer (like that in the blind signature scheme). After having signed M, the signer cannot determine if he has made the signature of M except through the part that he knows. We draw ideas from Brands' "Restricted Blind Signature" to solve the Untraceable Partially Blind Signature problem. Our scheme is a probabilistic signature scheme and the security of our Untraceable Partially Blind Signature scheme relies on the difficulty of computing discrete logarithm. 相似文献