3482 search results - page 21 / 697 » Designing for security |
CAISE
2006
Springer
14 years 16 days 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...
IJNSEC
2008
13 years 8 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
FSKD
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
SASN
2003
ACM
14 years 2 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
RFID technology increases rapidly its applicability in new areas of interest without guaranteeing security and privacy issues. This paper presents a new architecture of an RFID tr...