263 search results - page 30 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
GCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
AC
1998
Springer
13 years 11 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...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
CCS
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes an access control mechanism that enforces at the network level an access control decision that is taken at the application level. The mechanism is based on th...
HUC
2007
Springer
14 years 1 months ago
2007
Springer
Spontaneous interaction is a desirable characteristic associated with mobile and ubiquitous computing. The aim is to enable users to connect their personal devices with devices en...