IEEEARES
2006
IEEE
13 years 10 months 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
13 years 10 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
IEEEARES
2006
IEEE
13 years 10 months 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
13 years 10 months 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
13 years 10 months ago
2006
IEEE
IEEEARES
2006
IEEE
13 years 10 months ago
2006
IEEE
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
IEEEARES
2006
IEEE
13 years 10 months ago
2006
IEEE
–Mobile networks not only provide great benefits to their users but they also introduce inherent security issues. With respect to security, the emerging risks of denial of servic...
IEEEARES
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract— Most e-government applications have to find a solution for simple, reliable, secure and authentic signing of official documents. Citizens need a simple way to verify ...
IEEEARES
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
IEEEARES
2006
IEEE
13 years 10 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...