搜索结果: 1-2 共查到“军事学 computational semantics”相关记录2条 . 查询时间(0.062 秒)
Co-induction and Computational Semantics for Public-key Encryption with Key Cycles
Computational soundness and completeness greatest fixed-points least fixed points weak public-key indistinguishability strong public-key indistinguishability
2011/2/24
We consider the computational soundness and completeness of formal indistinguishability in public-key cryptography, in the presence of key-cycles. This problem in the absence of key-cycles is addresse...
Computational Semantics for Basic Protocol Logic –A Stochastic Approach
cryptographic protocols formal methods first order logic
2008/9/1
This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first order logic.We first argue that th...