Titlebook: Information Security and Cryptology; First SKLOIS Confere Dengguo Feng,Dongdai Lin,Moti Yung Conference proceedings 2005 Springer-Verlag Be

generic

Specifying Authentication Using Signal Events in CSPnd treating a diverse range of security properties, foremost of which is authentication. The formal specification of authentication has long been a subject of examination. In this paper, we discuss the use of correspondence to formally specify authentication and focus on Schneider’s use of signal ev

PLE

Modeling RFID Securityurity based on some model. Here we describe several of the security requirements that are needed in an RFID system and model these requirements. They include privacy of tag data, privacy of ownership, integrity of tag data, and availability of tag identity. We also construct less restrictive version

拥挤前

Outspoken

Efficient Authentication of Electronic Document Workflowulation process requires that a later participant can know the document circulation history, verify all the previous annotations, but can not modify them. To be applicable to devices of limited resources, the document processing approach should be efficient in terms of computational cost and network

宇宙你

Practical Strong Designated Verifier Signature Schemes Based on Double Discrete Logarithmsment scheme. So any SDVS scheme without lower communication/computation cost or enhanced security comparing to these one-way and two-party authenticated key agreement schemes may have less advantage in practical use. In this paper, we introduce an SDVS scheme which realizes low communication/computa

种类

Efficient Group Signatures from Bilinear Pairinglength of the signatures in both schemes are constant. An on-line third party is introduced to help the schemes to realize the “join” of group members, the “opening” of group signatures, and the immediate “revocation” of group membership. It is shown that the introduction of this party makes our sch

overweight

Enhanced Aggregate Signatures from Pairingstions. An aggregate signature scheme is a digital signature that supports aggregation: Given . signatures on . distinct messages from . distinct users, it is possible to aggregate all these signatures into a single short signature. This single signature, along with the . original messages will convi

上腭

observatory

Towards a General RC4-Like Keystream Generatorginal RC4 with 32/64 bits is infeasible due to the large memory constraints and the number of operations in the key scheduling algorithm. In this paper we propose a new 32/64-bit RC4-like keystream generator. The proposed generator produces 32 or 64 bits in each iteration and can be implemented in s

鸟笼