42 search results - page 2 / 9 » ieeeares 2006 |
IEEEARES
2006
IEEE
14 years 9 days ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
IEEEARES
2006
IEEE
14 years 9 days ago
2006
IEEE
Vehicular ad hoc networks (VANETs) have the potential to increase road safety and comfort. Especially because of the road safety functions, there is a strong demand for security i...
IEEEARES
2006
IEEE
14 years 9 days ago
2006
IEEE
This paper extends the work described in “An Approach to the Formalisation of a Certification Policy”, 7th International Symposium on System and Information Security (SSI 2005...
IEEEARES
2006
IEEE
14 years 9 days ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
IEEEARES
2006
IEEE
14 years 9 days ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...