3003 search results - page 109 / 601 » Software Security: Building Security In |
ESSOS
2009
Springer
14 years 4 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
COMPSEC
2002
13 years 10 months ago
2002
Today
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...