335 search results - page 4 / 67 » An Architecture-Centric Approach to Detecting Security Patte... |
IWPC
2009
IEEE
14 years 12 days ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
PST
2008
13 years 7 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
RV
2007
Springer
13 years 12 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
IJNSEC
2006
13 years 5 months ago
2006
The widespread use of the Internet has caused computer security to become an important issue. Currently, antivirus software is the primary mechanism that prevents computers from t...
SAFECOMP
2009
Springer
13 years 10 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...