80 search results - page 3 / 16 » Validating Safety and Security Requirements for Partitioned ... |
ESORICS
2004
Springer
14 years 9 days ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
CAISE
2006
Springer
13 years 10 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...
CEAS
2005
Springer
14 years 13 days ago
2005
Springer
We present an architecture called Accredited DomainKeys, which builds on the DomainKeys email authentication infrastructure to address the following questions: • “Did the send...
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
IMCS
2007
13 years 6 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...