2209 search results - page 88 / 442 » Language Based Secure Communication |
123
click to vote
SP
2007
IEEE
15 years 8 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
116
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
121
Voted
MOBICOM
2006
ACM
15 years 8 months ago
2006
ACM
We present a security framework for Vehicular Ad hoc Networks (VANETs), using identity-based cryptography, to provide authentication, confidentiality, non-repudiation and message...
143
Voted
AC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
127
Voted
SP
2007
IEEE
15 years 8 months ago
2007
IEEE
Many proposed low-latency anonymous communication systems have used various flow transformations such as traffic padding, adding cover traffic (or bogus packets), packet droppi...