A SYSTEMARCHITECTURETO SUPPORTA VERIFIABLYSECURR (ExtendedAbstract)
暂无分享,去创建一个
Richard J. Lipton | Richard A. DeMillo | Universityof Wisconsin | R. Lipton | R. DeMillo | U. Wisconsin
[1] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1977, POPL.
[2] Butler W. Lampson,et al. A note on the confinement problem , 1973, CACM.
[3] Richard J. Lipton,et al. Foundations of Secure Computation , 1978 .
[4] Peter J. Denning,et al. Data Security , 1979, CSUR.