2209 search results - page 21 / 442 » Language Based Secure Communication |
PET
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
IACR
2011
12 years 9 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In collaborative applications, participants agree on certain level of secure communication based on communication policy specifications. Given secure communication policy speci...
COCOON
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Problems of secure communication and computation have been studied extensively in network models, for example, Franklin and Yung have studied secure communications in the...