Concept and synthesis of an operating system nucleus implemented in computer hardware
CSC '87 Proceedings of the 15th annual conference on Computer Science
ACM Computing Surveys (CSUR)
A model for verification of data security in operating systems
Communications of the ACM
ACM SIGOPS Operating Systems Review
Data base management systems security and INGRES
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Hi-index | 0.02 |