1![The next step in IT security after Snowden Norbert Pohlmann Institute for Internet Security - if(is), Westphalian University of Applied Sciences Gelsenkirchen Neidenburger Str. 43, 45877 Gelsenkirchen, Germany The next step in IT security after Snowden Norbert Pohlmann Institute for Internet Security - if(is), Westphalian University of Applied Sciences Gelsenkirchen Neidenburger Str. 43, 45877 Gelsenkirchen, Germany](https://www.pdfsearch.io/img/6273bb90380704cd12b83804e9c5c1af.jpg) | Add to Reading ListSource URL: norbert-pohlmann.comLanguage: English - Date: 2015-12-20 08:00:14
|
---|
2![The Case for Abstracting Security Policies The Case for Abstracting Security Policies ](https://www.pdfsearch.io/img/25bf9a3241d83b169f8fcf101abde8ff.jpg) | Add to Reading ListSource URL: rich.recoil.orgLanguage: English - Date: 2006-04-13 14:58:02
|
---|
3![Security Watch Rebecca T. Mercuri Computer Security: Quality Rather than Quantity Security Watch Rebecca T. Mercuri Computer Security: Quality Rather than Quantity](https://www.pdfsearch.io/img/3aec18f681932bc5b04e9449c2aab18b.jpg) | Add to Reading ListSource URL: www.notablesoftware.comLanguage: English - Date: 2007-02-28 16:29:24
|
---|
4![æSec™ Composing a High-Assurance Infrastructure out of TCB Components Mark R. Heckman <> Roger R. Schell <> Edwards E. Reed <> æSec™ Composing a High-Assurance Infrastructure out of TCB Components Mark R. Heckman <> Roger R. Schell <> Edwards E. Reed <>](https://www.pdfsearch.io/img/c6ef6fe070b01527e945fd5330bd3994.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2011-12-15 18:21:31
|
---|
5![COMPOSING A HIGH-ASSURANCE INFRASTRUCTURE OUT OF TCB COMPONENTS Mark R. Heckman Roger R. Schell COMPOSING A HIGH-ASSURANCE INFRASTRUCTURE OUT OF TCB COMPONENTS Mark R. Heckman Roger R. Schell](https://www.pdfsearch.io/img/6ac707fc235137314be4a5f8b9c1f11d.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2011-12-15 18:21:30
|
---|
6![Computer Security in the Real World Butler W. Lampson1 Microsoft Abstract After thirty years of work on computer security, why are almost all the systems in service today extremely vulnerable to attack? The main reason i Computer Security in the Real World Butler W. Lampson1 Microsoft Abstract After thirty years of work on computer security, why are almost all the systems in service today extremely vulnerable to attack? The main reason i](https://www.pdfsearch.io/img/46cbb879b2938edf3c72968596bcd9f1.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2000-11-10 16:38:10
|
---|
7![information security technical report–138 available at www.sciencedirect.com www.compseconline.com/publications/prodinf.htm information security technical report–138 available at www.sciencedirect.com www.compseconline.com/publications/prodinf.htm](https://www.pdfsearch.io/img/1fc1945c0491744d33ff06b2b7a1a1a4.jpg) | Add to Reading ListSource URL: ipads.se.sjtu.edu.cnLanguage: English - Date: 2012-01-05 23:25:04
|
---|
8![A Security Domain Model for Implementing Trusted Subject Behaviors Alan Shaffer, Mikhail Auguston, Cynthia Irvine, Timothy Levin Naval Postgraduate School, Computer Science Department, 1411 Cunningham Rd., Monterey, Ca A Security Domain Model for Implementing Trusted Subject Behaviors Alan Shaffer, Mikhail Auguston, Cynthia Irvine, Timothy Levin Naval Postgraduate School, Computer Science Department, 1411 Cunningham Rd., Monterey, Ca](https://www.pdfsearch.io/img/fff6907a227c653cb50f8abde8fb8fb6.jpg) | Add to Reading ListSource URL: cisr.nps.eduLanguage: English - Date: 2008-08-18 13:41:12
|
---|
9![A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg](https://www.pdfsearch.io/img/021817af2c22c96159d32b9fc0b5d5e0.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2009-06-02 14:26:22
|
---|
10![TSAFE: Building a Trusted Computing Base for Air Traffic Control Software by Gregory D. Dennis Bachelor of Science in Computer Science and Engineering TSAFE: Building a Trusted Computing Base for Air Traffic Control Software by Gregory D. Dennis Bachelor of Science in Computer Science and Engineering](https://www.pdfsearch.io/img/b4bafdd183b8f710d1442bd6fee88ee9.jpg) | Add to Reading ListSource URL: sdg.csail.mit.eduLanguage: English - Date: 2014-05-07 00:00:59
|
---|