8623 search results - page 64 / 1725 » Software engineering for secure systems |
127
Voted
SEDE
2010
15 years 18 days ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
112
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
120
Voted
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
112
click to vote
ISPEC
2005
Springer
15 years 8 months ago
2005
Springer
ded abstract of this technical report appeared in the Proceedings of the First Information Security Practice and Experience Conference (ISPEC 2005) [AHS05].
202
Voted
ESSOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Today, software security is an issue with increasing importance. Developers, software designers, end users, and enterprises have their own needs w.r.t. software security....