894 search results - page 136 / 179 » Secure Implementation of Channel Abstractions |
MATA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Limited computational power imposes new challenges during the implementation of security and privacy solutions for mobile devices. The choice for the most appropriate cry...
GI
2003
Springer
14 years 2 months ago
2003
Springer
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
COMPSAC
2009
IEEE
14 years 27 days ago
2009
IEEE
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
GPC
2007
Springer
14 years 26 days ago
2007
Springer
g Service Oriented Abstractions for the Wireless Sensor Grid Edgardo Aviles-Lopez, J. Antonio Garcia-Macias Implementation of OSD Security Framework and Credential Cache Gu Su Kim,...