搜索结果: 1-1 共查到“军事学 theories”相关记录1条 . 查询时间(0.042 秒)
Computationally sound implementations of equational theories against passive adversaries
Computationally sound equational theories passive adversaries
2009/1/20
In this paper we study the link between formal and cryptographic models for
security protocols in the presence of passive adversaries. In contrast to other
works, we do not consider a fixed set of p...