搜索结果: 1-9 共查到“军事学 Simulatability”相关记录9条 . 查询时间(0.062 秒)
Analysis Of The Simulatability Of An Oblivious Transfer
oblivious transfer secure multiparty computation malicious adversaries
font style='font-size:12px;'>
2018/12/3
In the Journal of Cryptology (25(1): 158-193. 2012), Shai Halevi and Yael Kalai proposed a general framework for constructing two-message oblivious transfer protocols using smooth projective hashing. ...
Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security
public key encryption key encapsulation mechanism chosen ciphertext security
font style='font-size:12px;'>
2016/3/4
In PKC 2014, Dachman-Soled showed a construction of a chosen ciphertext (CCA) secure
public key encryption (PKE) scheme based on a PKE scheme which simultaneously satisfies a security
property calle...
Plaintext-Simulatability
Plaintext-simulatability Plaintext-awareness Chosen-ciphertext security
font style='font-size:12px;'>
2009/3/27
We propose a new security class, called plaintext-simulatability, defined over the
public-key encryption schemes. The notion of plaintext simulatability (denoted PS) is similar to the notion of plain...
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems
security cryptography simulatability
font style='font-size:12px;'>
2009/3/25
We define reactive simulatability for general asynchronous systems. Roughly, simulatability
means that a real system implements an ideal system (specification) in a way that
preserves security in a ...
On Fairness in Simulatability-based Cryptographic Systems
fairness simulatability cryptographic protocols
font style='font-size:12px;'>
2009/3/2
Simulatability constitutes the cryptographic notion of a secure refinement and
has asserted its position as one of the fundamental concepts of modern cryptography.
Although simulatability carefully ...
On the Notion of Statistical Security in Simulatability Definitions
Reactive simulatability universal composability statistical security protocol composition
font style='font-size:12px;'>
2009/1/14
We investigate the definition of statistical security (i.e., security against unbounded adversaries) in the framework of reactive simulatability. This framework allows to
formulate and analyze multi-...
Conditional Reactive Simulatability
Conditional Reactive Simulatability
font style='font-size:12px;'>
2008/11/13
Simulatability has established itself as a salient notion for defining and proving the security of cryptographic
protocols since it entails strong security and compositionality guarantees, which are ...
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
Reactive Simulatability UC Dolev-Yao Models Hashes
font style='font-size:12px;'>
2008/10/30
Automated tools such as model checkers and theorem provers for the
analysis of security protocols typically abstract from cryptography by Dolev-Yao
models, i.e., abstract term algebras replace the r...
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Simulatability Soundness Mapping Soundness Symbolic Cryptography
font style='font-size:12px;'>
2008/8/21
The abstraction of cryptographic operations by term algebras, called Dolev-Yao
models or symbolic cryptography, is essential in almost all tool-supported methods for proving
security protocols.