Book Review
- 作者Nina Rovinelli Heller
- 卷第29卷
- 期第2期
- 印刷ISSN0091-1674
- 电子ISSN1573-3343
- 文件大小26.76KB
- 发表时间2001-06
- DOI10.1023/a:1010386205231
- 页码201-203
Computer securityCarl E. Landwehr · International Journal of Information Security · 2001
Sailing Away!Landwehr, Carl E. · 2010
Drawing the LineLandwehr, Carl E. · 2010
A rapidly growing pigmented plaqueDavid J Landwehr; Louis E Halkias; Carl M Allen · 1997
Security Analytics and MeasurementsCybenko, George; Landwehr, Carl E. · 2012
Formal Models for Computer SecurityLandwehr, Carl E. · ACM Computing Surveys · 1981
Moving Target [Guest editors' introduction]Goldrich, Luanne; Landwehr, Carl E. · IEEE Security & Privacy · 2014
Does program verification help?Landwehr, Carl E. · ACM SIGSOFT Software Engineering Notes · 1985
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977