946 search results - page 51 / 190 » Software engineering for security: a roadmap |
114
click to vote
CSMR
2010
IEEE
14 years 4 months ago
2010
IEEE
Web software development is one of the most active areas and fastest growing industries in software and services development in Europe, and, in particular, Java Enterprise Edition ...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...
ICSE
2008
IEEE-ACM
15 years 9 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...
MSR
2011
ACM
14 years 18 days ago
2011
ACM
A good understanding of the impact of different types of bugs on various project aspects is essential to improve software quality research and practice. For instance, we would ex...