Microkernel

Results: 368



#Item
51Chroot / Kernel / Capability-based security / Operating system / Unix / Privilege escalation / Microkernel / User identifier / Principle of least privilege / System software / Computer security / Software

Make Least Privilege a Right (Not a Privilege) Maxwell Krohn∗ , Petros Efstathopoulos† , Cliff Frey∗ , Frans Kaashoek∗ , Eddie Kohler† , David Mazi`eres‡ , Robert Morris∗ , Michelle Osborne‡ , Steve VanDe

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2005-05-06 16:45:01
52Inter-process communication / Process / Process management / Mandatory access control / Asbestos / Message passing / Principle of least privilege / Microkernel / Operating system / Computing / Computer architecture / Concurrent computing

Labels and Event Processes in the Asbestos Operating System Cliff Frey† Petros Efstathopoulos∗ Maxwell Krohn† Steve VanDeBogart∗ ` ‡ Frans Kaashoek† Robert Morris†

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2005-08-17 14:44:03
53L4 microkernel family

GFA Label Criteria: Carriers xxx Criterion ID STRATEGY

Add to Reading List

Source URL: www.greenfreightasia.org

Language: English - Date: 2015-01-06 00:01:51
    54L4 microkernel family / Checklist

    Evidence for compliance with timber procurement requirements, Annex II Categorie B evidence Appendix 2 to Annex II (separate) Checklist 2: Legal timber source information

    Add to Reading List

    Source URL: www.inkoopduurzaamhout.nl

    Language: English - Date: 2014-06-02 09:50:19
    55L4 microkernel family

    GFA Label Criteria: Carriers xxx Criterion ID STRATEGY

    Add to Reading List

    Source URL: greenfreightasia.org

    Language: English - Date: 2015-01-06 00:01:51
      56Memory management / Real-time operating systems / Central processing unit / Kernel / Ring / Multics / Operating system / Capability-based security / Microkernel / System software / Computer architecture / Software

      Capabilities Revisited: A Holistic Approach to Bottom-to-Top Assurance of Trustworthy Systems Peter G. Neumann and Robert N. M. Watson SRI International Computer Science Laboratory and University of Cambridge Computer La

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      Language: English - Date: 2011-03-01 06:45:15
      57Monolithic kernels / Kernel / Ring / Linux kernel / Loadable kernel module / Transmission Control Protocol / Microkernel / Operating system / Computer architecture / Software / System software

      Custom Kernel Mode Network Solutions from JW Secure Generally, software applications avoid the use of custom kernel mode code due to the danger that poorly written code will cause the computer to crash. Strictly, the onl

      Add to Reading List

      Source URL: www.jwsecure.com

      Language: English - Date: 2014-12-16 20:20:22
      58Gernot Heiser / Higher education / Open Kernel Labs / L4 microkernel family / Education / University of New South Wales / University of Melbourne / Australian National University / University of Sydney / Association of Commonwealth Universities / NICTA / Academia

      ISSUE 27 | SEPTEMBERNICTANews INSIDE Board

      Add to Reading List

      Source URL: www.nicta.com.au

      Language: English - Date: 2015-02-08 20:31:45
      59Physical geography / Topography / Sea surface temperature / Planetary science / Oceanography / L4 microkernel family / Earth

      AREA PRODUCTS DATA SOURCE D

      Add to Reading List

      Source URL: marine.copernicus.eu

      Language: English - Date: 2015-05-05 05:06:36
      60System software / Ext2 / Ext3 / File system / Application checkpointing / Microkernel / Operating system / Fault injection / Ext4 / Disk file systems / Computing / Computer architecture

      Why panic()? Improving Reliability with Restartable File Systems Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift Computer Sciences Dep

      Add to Reading List

      Source URL: www.sigops.org

      Language: English - Date: 2009-09-28 22:39:21
      UPDATE