- Tytuł:
- Semiformal common criteria compliant it security development framework
- Autorzy:
- Białas, K.
- Data publikacji:
- 2008
- Słowa kluczowe:
-
uzasadnione zaufanie
Common Criteria
wspólne kryteria
wspomaganie komputerowe
konstruowanie
prace rozwojowe
ocena zabezpieczeń
zrąb
system szkieletowy
bezpieczeństwo informacji
UML
OCL
modelowanie
inżynieria zabezpieczeń
metody półformalne
system informatyczny
zabezpieczenia informatyczne
assurance
computer aiding
designing
development
evaluation
formal method
framework
IT security
modelling
security engineering
semiformal method - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł