211 search results - page 7 / 43 » Computational Evaluation of Software Security Attributes |
ACSAC
2002
IEEE
14 years 18 days ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
Publish/subscribe systems provide an efficient, event-based, wide-area distributed communications infrastructure. Large scale publish/subscribe systems are likely to employ compon...
ICMT
2009
Springer
14 years 6 days ago
2009
Springer
Model transformations are an essential part of Model Driven Engineering and are in many ways similar to traditional software artifacts. Therefore it is necessary to define and eva...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...