Separation kernel - PDFSEARCH.IO - Document Search Engine

Separation kernel
Results: 33

#	Item
1	Muen An x86/64 Separation Kernel for High Assurance Reto Buerki Adrian-Ken Rueegsegger Add to Reading List Source URL: www.ada-switzerland.ch Language: English - Date: 2017-10-08 15:04:38
2	Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden Add to Reading List Source URL: prosper.sics.se - Date: 2013-10-17 09:26:32
3	Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu Add to Reading List Source URL: www.unixwiz.net Language: English - Date: 2014-08-03 23:18:45 Unix System administration User identifier Group identifier Setuid System calls Principle of least privilege Privilege separation Su Capability-based security Kernel File system permissions
4	Safety & Security for the Connected World Achieving safe, certified, multicore avionics systems with Separation Kernel Hypervisors 13 October 2015 Mark Pitchford, Technical Manager, EMEA Add to Reading List Source URL: events.fortiss.org Language: English - Date: 2015-11-02 08:48:10
5	LNCSUsing Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method Add to Reading List Source URL: people.tuebingen.mpg.de Language: English - Date: 2013-07-29 11:00:32
6	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
7	Separation Kernel Protection Profile Revisited: Choices and Rationale Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine Naval Postgraduate School Michael McEvilley Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2010-12-10 12:35:41
8	PDF Document Add to Reading List Source URL: swa.omg.org Language: English - Date: 2006-12-14 08:55:42 Computer security Computer architecture Computing Multilevel security Multiple Independent Levels of Security Separation kernel Lynx Software Technologies Kernel Lockheed Martin MLS Guard Protection ring
9	WIND RIVER VXWORKS MILS PLATFORM[removed]TABLE OF CONTENTS Run-Time Components. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Separation Kernel . . . . . Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:14 Virtual machines Real-time operating systems VxWorks Multiple Independent Levels of Security Embedded systems Multilevel security Simics Operating system Board support package System software Software Computing
10	Formal Modelling of Separation Kernel Components Andrius Velykis and Leo Freitas University of York, UK [removed], [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Scheduling algorithms Scheduling Linux Microkernel Kernel Separation kernel Linux kernel Process identifier Architecture of Windows NT Computer architecture System software Software