{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:42Z","timestamp":1750307142802,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T00:00:00Z","timestamp":1317340800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,30]]},"DOI":"10.1145\/2047456.2047460","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T12:23:06Z","timestamp":1319545386000},"page":"25-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Measures to improve security in a microkernel operating system"],"prefix":"10.1145","author":[{"given":"Durga","family":"Vemuri","sequence":"first","affiliation":[{"name":"Kentucky State University, East Main, KY"}]},{"given":"Wasim","family":"Al-Hamdani","sequence":"additional","affiliation":[{"name":"Kentucky State University, East Main, KY"}]}],"member":"320","published-online":{"date-parts":[[2011,9,30]]},"reference":[{"unstructured":"P. Derrin K. Elphinstone G. Klein D. Cock and M. M. T Chakravarty. Running the manual: An approach to high-assurance microkernel development.  P. Derrin K. Elphinstone G. Klein D. Cock and M. M. T Chakravarty. Running the manual: An approach to high-assurance microkernel development.","key":"e_1_3_2_1_1_1"},{"unstructured":"B. Kauer and M. Volp. L4.sec: Preliminary Microkernel Reference manual Dresden University of Technology http:\/\/os.inf.tu-dresden.de\/L4\/L4.Sec\/.  B. Kauer and M. Volp. L4.sec: Preliminary Microkernel Reference manual Dresden University of Technology http:\/\/os.inf.tu-dresden.de\/L4\/L4.Sec\/.","key":"e_1_3_2_1_2_1"},{"unstructured":"TCG 2005: TCG: What is the Trusted Computing Group https:\/\/www.trustedcomputinggroup.org\/.  TCG 2005: TCG: What is the Trusted Computing Group https:\/\/www.trustedcomputinggroup.org\/.","key":"e_1_3_2_1_3_1"},{"unstructured":"Wikipedia Various Security Wikipedia http:\/\/en.wikipedia.org\/wiki\/Secure.  Wikipedia Various Security Wikipedia http:\/\/en.wikipedia.org\/wiki\/Secure.","key":"e_1_3_2_1_4_1"},{"unstructured":"Anderson: Ross Andersen: Trusted Computing FAQ. University of Cambridge http:\/\/www.cl.cam.ac.uk\/users\/rja14\/tcpa-faq.html  Anderson: Ross Andersen: Trusted Computing FAQ. University of Cambridge http:\/\/www.cl.cam.ac.uk\/users\/rja14\/tcpa-faq.html","key":"e_1_3_2_1_5_1"},{"unstructured":"Shapiro: Jonathan Shapiro Understanding the Windows EAL4 Evaluation Johns Hopkins University Information Security Institute http:\/\/eros.cs.jhu.edu\/~shap\/NTEAL4.html  Shapiro: Jonathan Shapiro Understanding the Windows EAL4 Evaluation Johns Hopkins University Information Security Institute http:\/\/eros.cs.jhu.edu\/~shap\/NTEAL4.html","key":"e_1_3_2_1_6_1"},{"unstructured":"Verification Technology: Heiko Blume http:\/\/kbs.cs.tu-berlin.de\/teaching\/ws2005\/htos\/folien\/sec_mkernel.pdf.  Verification Technology: Heiko Blume http:\/\/kbs.cs.tu-berlin.de\/teaching\/ws2005\/htos\/folien\/sec_mkernel.pdf.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"crossref","unstructured":"Operating system verification: Gerwin Klein http:\/\/nsl.ias.ac.in\/sadhana\/Pdf2009Feb\/27.pdf  Operating system verification: Gerwin Klein http:\/\/nsl.ias.ac.in\/sadhana\/Pdf2009Feb\/27.pdf","key":"e_1_3_2_1_8_1","DOI":"10.1007\/s12046-009-0002-4"},{"unstructured":"Cinnabar Networks: Eugen Bacic Security as core compentency of the QNX microkernel http:\/\/www.ic-4s.com\/Whitepapers\/QNX\/MKS.pdf.  Cinnabar Networks: Eugen Bacic Security as core compentency of the QNX microkernel http:\/\/www.ic-4s.com\/Whitepapers\/QNX\/MKS.pdf.","key":"e_1_3_2_1_9_1"},{"unstructured":"Turstworthy computing system: Gernot Heiser\/Kevin Elphinstone Ihor Kuz Gerwin Klein Stefan M. Petters Taking Microkernels to the Next Level http:\/\/www.ok-labs.com\/_assets\/image_library\/Trustworthy_Computing_Systems.pdf  Turstworthy computing system: Gernot Heiser\/Kevin Elphinstone Ihor Kuz Gerwin Klein Stefan M. Petters Taking Microkernels to the Next Level http:\/\/www.ok-labs.com\/_assets\/image_library\/Trustworthy_Computing_Systems.pdf","key":"e_1_3_2_1_10_1"},{"unstructured":"seL4: Gerwin Klein 1;2 Kevin Elphinstone 1;2 Gernot Heiser June Andronick David Cock Philip Derrin Dhammika Elkaduwe Kai Engelhardt Rafal Kolanski Michael Norrishl Thomas Sewell 1 Harvey Tuch Simon Winwood. Formal Verification of Microkernel. http:\/\/www.sigops.org\/sosp\/sosp09\/papers\/klein-sosp09.pdf.  seL4: Gerwin Klein 1;2 Kevin Elphinstone 1;2 Gernot Heiser June Andronick David Cock Philip Derrin Dhammika Elkaduwe Kai Engelhardt Rafal Kolanski Michael Norrishl Thomas Sewell 1 Harvey Tuch Simon Winwood. Formal Verification of Microkernel. http:\/\/www.sigops.org\/sosp\/sosp09\/papers\/klein-sosp09.pdf.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"crossref","unstructured":"Garfinkel 2004: Garfinkel et al Terra: A Virtual Machine-based Platform for Trusted Computing Stanford University 2004.  Garfinkel 2004: Garfinkel et al Terra: A Virtual Machine-based Platform for Trusted Computing Stanford University 2004.","key":"e_1_3_2_1_12_1","DOI":"10.1145\/945445.945464"},{"unstructured":"VMware 2005: VMWare Inc.: VMware - Virtual Infrastructure Software. EMC Corporation 2005 http:\/\/www.vmware.com\/.  VMware 2005: VMWare Inc.: VMware - Virtual Infrastructure Software. EMC Corporation 2005 http:\/\/www.vmware.com\/.","key":"e_1_3_2_1_13_1"},{"unstructured":"Xen 2005: Ian Pratt: Xen virtual machine monitor. Cambridge University 2005 http:\/\/www.cl.cam.ac.uk\/Research\/SRG\/netos\/xen\/  Xen 2005: Ian Pratt: Xen virtual machine monitor. Cambridge University 2005 http:\/\/www.cl.cam.ac.uk\/Research\/SRG\/netos\/xen\/","key":"e_1_3_2_1_14_1"},{"unstructured":"TCG 2005: TCG: What is the Trusted Computing Group. Trusted computing Group 2005 https:\/\/www.trustedcomputinggroup.org\/  TCG 2005: TCG: What is the Trusted Computing Group. Trusted computing Group 2005 https:\/\/www.trustedcomputinggroup.org\/","key":"e_1_3_2_1_15_1"},{"unstructured":"USFS1037C: Various Federal Standard 1037C Institute for Telecommunication Sciences 2000 http:\/\/www.its.bldrdoc.gov\/fs-1037\/fs-1037c.htm.  USFS1037C: Various Federal Standard 1037C Institute for Telecommunication Sciences 2000 http:\/\/www.its.bldrdoc.gov\/fs-1037\/fs-1037c.htm.","key":"e_1_3_2_1_16_1"},{"volume-title":"MASSACHUSETTS INSTITUTE OF TECHNOLOGY","year":"2005","author":"Garfinkel","key":"e_1_3_2_1_17_1"},{"unstructured":"Common Criteria 2006 Common Criteria for information technology security evaluation (CC v3\u00b71) http:\/\/www.commoncriteriaportal.org\/. Link visited July 2007.  Common Criteria 2006 Common Criteria for information technology security evaluation (CC v3\u00b71) http:\/\/www.commoncriteriaportal.org\/. Link visited July 2007.","key":"e_1_3_2_1_18_1"},{"unstructured":"BevierWR HuntWA Moore J SYoungWD1989 An approach to systems verification. J. Automated.  BevierWR HuntWA Moore J SYoungWD1989 An approach to systems verification. J. Automated.","key":"e_1_3_2_1_19_1"},{"volume-title":"Elphinstone K 2007 A memory allocation model for an embedded microkernel. In: Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, NICTA","author":"Elkaduwe D","key":"e_1_3_2_1_20_1"},{"unstructured":"Wheeler 2001: David A. Wheeler Counting Source Lines of Code (SLOC) (Self) 2001 http:\/\/www.dwheeler.com\/sloc\/.  Wheeler 2001: David A. Wheeler Counting Source Lines of Code (SLOC) (Self) 2001 http:\/\/www.dwheeler.com\/sloc\/.","key":"e_1_3_2_1_21_1"},{"volume-title":"CCP","year":"2006","author":"CC","key":"e_1_3_2_1_22_1"},{"unstructured":"Infoworld 2004: Joris Evers: Microsoft revisits NGSCB security plan. IDG News Service 2004 http:\/\/www.infoworld.com\/article\/04\/05\/05\/HNngsc_1  Infoworld 2004: Joris Evers: Microsoft revisits NGSCB security plan. IDG News Service 2004 http:\/\/www.infoworld.com\/article\/04\/05\/05\/HNngsc_1","key":"e_1_3_2_1_23_1"},{"unstructured":"Liedtke 1996: Jochen Liedtke L4 Reference Manual GMD\/IBM Watson 1996 http:\/\/os.inf.tu-dresden.de\/L4\/14refx86.ps.gz  Liedtke 1996: Jochen Liedtke L4 Reference Manual GMD\/IBM Watson 1996 http:\/\/os.inf.tu-dresden.de\/L4\/14refx86.ps.gz","key":"e_1_3_2_1_24_1"},{"unstructured":"Tews 2000: Hendrik Tews Case study in coalgebraic specification: Memory management in the Fiasco microkernel TU Dresden 2000 http:\/\/wwwtcs.inf.tudresdende\/~tews\/vfiasco\/vfiasco-report.ps.gz.  Tews 2000: Hendrik Tews Case study in coalgebraic specification: Memory management in the Fiasco microkernel TU Dresden 2000 http:\/\/wwwtcs.inf.tudresdende\/~tews\/vfiasco\/vfiasco-report.ps.gz.","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"crossref","unstructured":"H\u00e4rtig 2002: Hermann H\u00e4rtig Security architectures revisited TU Dresden 2002 http:\/\/os.inf.tu-dresden.de\/papers_ps\/secarch.pdf.  H\u00e4rtig 2002: Hermann H\u00e4rtig Security architectures revisited TU Dresden 2002 http:\/\/os.inf.tu-dresden.de\/papers_ps\/secarch.pdf.","key":"e_1_3_2_1_26_1","DOI":"10.1145\/1133373.1133376"},{"volume-title":"Vanfleet W M 2003 A separation kernel formal security policy. In: Fourth International Workshop on the ACL2 Prover and its Applications (ACL2-2003)","year":"2003","author":"Greve D","key":"e_1_3_2_1_27_1"},{"volume-title":"Tews H 2005 The VFiasco approach for a verified operating system. In: Proceedings of the 2nd ECOOPWorkshop on Programming Languages and Operating Systems","year":"2005","author":"Hohmuth M","key":"e_1_3_2_1_28_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/1133373.1133405"},{"volume-title":"Vanfleet W M 2005 High assurance formal security policy modeling. In: Proceedings of the 17th Systems and Software Technology Conference 2005 (SSTC05)","author":"Greve D","key":"e_1_3_2_1_31_1"},{"volume-title":"Kolanski R 2006 Formalising a high-performance microkernel. In: R Leino, ed., Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06)","year":"2006","author":"Elphinstone K","key":"e_1_3_2_1_32_1"},{"unstructured":"NICTA\n\n  \n  : Gernot Heiser Kevin Elphinstone Michael von Tessin http:\/\/ertos.nicta.com.au\/research\/se14\/.  NICTA: Gernot Heiser Kevin Elphinstone Michael von Tessin http:\/\/ertos.nicta.com.au\/research\/se14\/.","key":"e_1_3_2_1_33_1"},{"unstructured":"MACH 1997: School of Computer Science: CMU CS Project Mach Home Page. Carnegie Mellon University 1997 http:\/\/www-2.cs.cmu.edu\/afs\/cs\/project\/mach\/public.  MACH 1997: School of Computer Science: CMU CS Project Mach Home Page. Carnegie Mellon University 1997 http:\/\/www-2.cs.cmu.edu\/afs\/cs\/project\/mach\/public.","key":"e_1_3_2_1_34_1"},{"unstructured":"Shrink to fit verifiction: Heiko Blume http:\/\/kbs.cs.tu-berlin.de\/teaching\/ws2005\/htos\/folien\/sec_mkernel.pdf.  Shrink to fit verifiction: Heiko Blume http:\/\/kbs.cs.tu-berlin.de\/teaching\/ws2005\/htos\/folien\/sec_mkernel.pdf.","key":"e_1_3_2_1_35_1"}],"event":{"sponsor":["KSU - CISE KSU Center for InfoSec Education","SIGMIS ACM Special Interest Group on Management Information Systems"],"acronym":"InfoSecCD '11","name":"InfoSecCD '11: Information Security Curriculum Development Conference","location":"Kennesaw Georgia"},"container-title":["Proceedings of the 2011 Information Security Curriculum Development Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047456.2047460","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047456.2047460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:54Z","timestamp":1750240134000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047456.2047460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,30]]},"references-count":34,"alternative-id":["10.1145\/2047456.2047460","10.1145\/2047456"],"URL":"https:\/\/doi.org\/10.1145\/2047456.2047460","relation":{},"subject":[],"published":{"date-parts":[[2011,9,30]]},"assertion":[{"value":"2011-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}