LEAST PRIVILEGE IN SEPARATION KERNELS
Author(s) -
Timothy E. Levin,
Cynthia E. Irvine,
Thuy D. Nguyen
Publication year - 2006
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.5220/0002100103550362
Subject(s) - privilege (computing) , kernel (algebra) , computer science , separation (statistics) , block (permutation group theory) , abstraction , flow (mathematics) , enforcement , control flow , separation logic , theoretical computer science , computer security , programming language , mathematics , pure mathematics , law , political science , machine learning , philosophy , geometry , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom