83 search results - page 17 / 17 » Model-based assurance of security controls |
ECBS
2000
IEEE
13 years 10 months ago
2000
IEEE
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
ATC
2006
Springer
13 years 9 months ago
2006
Springer
In recent years, a variety of new computing paradigms have been proposed for various purposes. It is true that many of them intend to and really can gratify some of the people some...
PRL
2007
13 years 5 months ago
2007
Government agencies are investing a considerable amount of resources into improving security systems as result of recent terrorist events that dangerously exposed flaws and weakn...