搜索结果: 1-6 共查到“军事学 reactive”相关记录6条 . 查询时间(0.093 秒)
Nothing Refreshes Like a RePSI: Reactive Private Set Intersection
private set intersection reactive functionalities
2018/4/17
Private Set Intersection (PSI) is a popular cryptographic primitive that allows two parties, a client and a server, to compute the intersection of their private sets, so that the client only receives ...
Garbled circuits is a cryptographic technique, which has been used among other things for the construction
of two and three-party secure computation, private function evaluation and secure outsourcin...
Fair Distributed Computation of Reactive Functions
Cryptographic protocols secure multi-party computation fairness
2015/12/24
A fair distributed protocol ensures that dishonest parties have no advantage over honest
parties in learning their protocol抯 output. This is a desirable property, as honest parties are
more reluctan...
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems
security cryptography simulatability
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 ...
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
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...