894 search results - page 104 / 179 » Secure Implementation of Channel Abstractions |
GI
2004
Springer
14 years 2 months ago
2004
Springer
: Next to authentication, secure key exchange is considered the most critical and complex issue regarding ad-hoc network security. We present a low-cost, (i.e. low hardware-complex...
WISTP
2007
Springer
14 years 3 months ago
2007
Springer
The network is becoming more and more versatile because of the variety of the computing resources and the communication technologies that have become available. The mobility of the...
ISW
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
CJ
2010
13 years 6 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...