4330 search results - page 8 / 866 » Analyzing security architectures |
TRUST
2010
Springer
13 years 11 months ago
2010
Springer
Virtualization has been purported to be a panacea for many security problems. We analyze the feasibility of constructing an integrity-protected hypervisor on contemporary x86 hardw...
ISCC
2000
IEEE
13 years 11 months ago
2000
IEEE
Flexible and distributed management systems based on mobile agents have certain advantages over centralized and static management architectures. However, security plays a decisive...
CCS
2007
ACM
14 years 27 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
SASN
2005
ACM
14 years 8 days ago
2005
ACM
Vehicular networks are likely to become the most relevant form of mobile ad hoc networks. In this paper, we address the security of these networks. We provide a detailed threat an...
WISA
2007
Springer
14 years 24 days ago
2007
Springer
Abstract. The hash algorithm forms the basis of many popular cryptographic protocols and it is therefore important to find throughput optimal implementations. Though there have be...