GRATE 发表于 2025-3-23 12:48:06
http://reply.papertrans.cn/47/4654/465363/465363_11.png艰苦地移动 发表于 2025-3-23 15:17:20
0302-9743and 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-3349notification 发表于 2025-3-23 18:30:18
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 发表于 2025-3-24 00:35:24
http://reply.papertrans.cn/47/4654/465363/465363_14.pngblithe 发表于 2025-3-24 06:03:25
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.陪审团 发表于 2025-3-24 07:05:56
http://reply.papertrans.cn/47/4654/465363/465363_16.pngSeizure 发表于 2025-3-24 14:42:55
http://reply.papertrans.cn/47/4654/465363/465363_17.pngEXALT 发表于 2025-3-24 16:25:29
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 发表于 2025-3-24 20:15:00
http://reply.papertrans.cn/47/4654/465363/465363_19.png合乎习俗 发表于 2025-3-25 01:57:23
Information Security and Cryptology978-3-642-01440-6Series ISSN 0302-9743 Series E-ISSN 1611-3349