894 search results - page 77 / 179 » Secure Implementation of Channel Abstractions |
114
Voted
SIGCOMM
1997
ACM
15 years 7 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...
115
Voted
ESOP
2010
Springer
16 years 4 days 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...
127
Voted
SAINT
2005
IEEE
15 years 8 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 ...
146
Voted
INFOCOM
2008
IEEE
15 years 9 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 ...
116
Voted
ITRUST
2005
Springer
15 years 8 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...