3821 search results - page 288 / 765 » A Security Model for Aglets |
156
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
166
click to vote
ESORICS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
160
click to vote
WETICE
2006
IEEE
16 years 20 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
186
click to vote
SACMAT
2005
ACM
16 years 6 days ago
2005
ACM
We investigate a generalization of the notion of XML security view introduced by Stoica and Farkas [17] and later refined by Fan et al. [8]. The model consists of access control ...
161
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...