naval postgraduate school monterey ca dept of computer science, 2003
The objective of this research is to investigate architectural mechanisms to provide an emergency response capability for Cyber Infrastructure management...
A key decision in the development of high assurance software is that of choosing a formal methods tool. This paper describes a methodology to select a formal...
Large complex systems need to be analysed prior to operation so that those depending upon them for the protection of their information have a well defined...
We describe the Trusted Computing Exemplar project, which is producing an openly distributed worked example of how high-assurance trusted computing components...
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.