Titlebook: Information Security and Cryptology; 4th International Co Moti Yung,Peng Liu,Dongdai Lin Conference proceedings 2009 Springer-Verlag Berlin

GRATE

艰苦地移动

0302-9743 and side channel attack, wireless network security, public key and identity based cryptography, access control and network security, as well as trusted computing and applications.978-3-642-01439-0978-3-642-01440-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

notification

Provably Secure Convertible Nominative Signature Schemeissue a . proof to make all nominative signatures with respect to the nominator and the nominee publicly verifiable. Then, we present a security model for convertible nominative signatures. Furthermore, we propose a concrete scheme based on bilinear pairings and give the security analysis in the random oracle model.

Alveoli

blithe

SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programmingcurity protocols whose fixpoint is predicted non-termination. And in SPVT-II, the non-termination prediction of fixpoint, verification, constructing counterexamples and refinement are all implemented mechanically. The experiment results demonstrate the practicality of our verifier.

陪审团

Seizure

EXALT

Reducible Polynomial over , Constructed by Trinomial ,−LFSRIn the search for trinomial .−LFSR over finite field ., one type of binary polynomials which are always reducible with an even number of irreducible factors over binary field . were found. We prove this using the Stickelberger-Swan theorem and present one new of special pentanomials over . with the same property.

Carbon-Monoxide

合乎习俗

Information Security and Cryptology978-3-642-01440-6Series ISSN 0302-9743 Series E-ISSN 1611-3349