搜索结果: 1-5 共查到“军队指挥学 formal proof”相关记录5条 . 查询时间(0.091 秒)
In this article, we describe a methodology that aims at either breaking or proving the security of CRT-RSA implementations against fault injection attacks. In the specific case-study of the BellCoRe a...
Robust RFID Authentication Protocol with Formal Proof and Its Feasibility
RFID authentication privacy
2010/6/16
The proloferation of RFID tags enhances everyday activities, such as by letting us reference the price, origin and circulation route of specific goods. On the other hand, this lecel of traceability gi...
On a New Formal Proof Model for RFID Location Privacy
Location privacy untraceability RFID
2009/6/10
We discuss a new formal proof model for RFID location privacy,
recently proposed at ESORICS 2008.
We show that protocols which intuitively and in several other models
are considered not to be locat...
A Formal Proof of Zhu’s Signature Scheme
Adaptive chosen message attack collision-free hash function signature scheme
2009/4/9
Following from the remarkable works of Cramer and Shoup
[5], three trapdoor hash signature variations have been presented in the
literature: the first variation was presented in CJE’01 by Zhu [14], ...
Formal Proof for the Correctness of RSA-PSS
cryptography specification verification digital signature
2008/10/20
Formal verification is getting more and more important in
computer science. However the state of the art formal verification methods
in cryptography are very rudimentary. This paper is one step t...