249 search results - page 10 / 50 » A secure scan design methodology |
80
Voted
SP
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
87
Voted
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
108
Voted
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
84
Voted
LAWEB
2005
IEEE
15 years 3 months ago
2005
IEEE
In today’s e-commerce environment, information is an incredibly valuable asset. Surveys indicate that companies are suffering staggering financial losses due to web security iss...