756 search results - page 113 / 152 » Modeling Computational Security in Long-Lived Systems |
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
MIDDLEWARE
2004
Springer
14 years 3 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
RAID
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...