2213 search results - page 25 / 443 » Software Security |
RE
2002
Springer
14 years 11 months ago
2002
Springer
SSIRI
2010
14 years 9 months ago
2010
ICSOFT
2009
14 years 9 months ago
2009
108
click to vote
WETICE
2005
IEEE
15 years 5 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
ICECCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...