3482 search results - page 6 / 697 » Designing for security |
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
ISSE
2007
13 years 8 months ago
2007
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
LADC
2007
Springer
14 years 2 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
PDCAT
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we propose a security management middleware in ubiquitous computing environments. This security management should be applicationoriented security and provides user-...