107 search results - page 8 / 22 » A secure compiler for session abstractions |
IH
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Information hiding has been studied in many security applications such as authentication, copyright management and digital forensics. In this work, we introduce a new app...
PERVASIVE
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper describesa method for establishing ad hoc and infrastructuremode wireless network connections based on physical proximity. Users can easily establish secure wi...
WIMOB
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Most contemporary security mechanisms and protocols include exchange of random or time-variant nonces as an essential means of protection against replay and other threat...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
CCS
2004
ACM
14 years 27 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...