田园著2008 年出版314 页ISBN:9787121066580
本书阐述计算机密码方案与密码协议的安全性证明理论,包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域,作者并不打算对此做面面俱到式...
人民法院量刑指导意见(试行)关于规范量刑程序若干问题的意见(试行)
中国法制出版社编2010 年出版27 页ISBN:9787509322246
这两个文件从实体和程序两个方面对量刑进行了规定,将量化引入量刑机制,统一法律适用标准,规范法官裁量权,建立和完善相对独立的量刑程序。...
(苏)麦德维杰夫(Ю.А.Медведев)等编;李志贤译1956 年出版24 页ISBN:15038·222