A doctoral program in computer science with a specialization in information security is described. The focus of the program is constructive security. Key...
naval postgraduate school monterey ca center for information systems security studies and research, 2007
Control of access to information based upon temporal attributes can add another dimension to access control. To demonstrate the feasibility of operating...
naval postgraduate school monterey ca dept of computer science, 2007
Evaluation of high assurance secure computer systems requires that they be designed, developed, verified and tested using rigorous processes and formal...
naval postgraduate school monterey ca center for information systems security studies and research, 2006
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria...
naval postgraduate school monterey ca dept of computer science, 2006
Various system architectures have been proposed for highly robust enforcement of multilevel security (MLS). This paper provides an analysis of the relative...
naval postgraduate school monterey ca dept of computer science, 2006
We extend the separation kernel abstraction to represent the enforcement of the principle of least privilege. In addition to the inter-block flow control...
naval postgraduate school monterey ca center for information systems security studies and research, 2006
Discussion Topics include: Motivations; Project Background-Draft Multilevel Print Server (MPS) PP; CC Version 2.2 -> CC Version 3.0- Objectives and Approach,...
naval postgraduate school monterey ca dept of computer science, 2002
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of...
The need to provide standard commercial-grade productivity applications as the general purpose user interface to high-assurance data processing environments is...
An overview of the Trusted Computing Exemplar (TCX) research project and its accomplishments to date are presented. The TCX project is constructing a...
Publication gouvernementale
Filtrer vos résultats
Opération réussie
L’élément a été sauvegardé.
Opération réussie
Cet élément a été retiré.
Erreur
Vous avez dépassé le nombre maximal de 100 résultats sauvegardés.
Erreur
Impossible de sauvegarder l’élément. Veuillez réessayer. Si le problème persiste, il pourrait y avoir un problème avec l’élément.
Erreur
Impossible de supprimer l’article demandé. Veuillez réessayer plus tard.