office of the director of defense research and engineering washington dc, 2006
Presentation on Research and Engineering Information Available to the War Fighter. Topics include: Intellectual capital balance-Globalization of science and...
Within a multilevel secure (MLS) system, flaws in design and implementation can result in overt and covert channels, both of which may be exploited by...
office of the director of defense research and engineering washington dc, 2004
This testimony has addressed the role of the DoD research and engineering program in responding to the recommendations of the Walker Aerospace Commission...
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 dept of computer science, 2008
Covert channels can result in unauthorized information flows when exploited by malicious software. To address this problem, we present a precise, formal...
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.