894 search results - page 77 / 179 » Secure Implementation of Channel Abstractions |
SIGCOMM
1997
ACM
15 years 2 months ago
1997
ACM
Datagram services provide a simple,
exible, robust, and communication abstraction; their usefulness has been well demonstrated by the success of IP, UDP, and RPC. Yet, the overwh...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
SAINT
2005
IEEE
15 years 3 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
100
click to vote
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— This paper experimentally investigates the feasibility of crypto-free communications in resource-constrained wireless sensor networks. We exploit the spatial signature ...
ITRUST
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...