This paper describes the methodology and results of an attempt to use a wiki web site for political collaboration. Recruited through gateway contacts for online political organiza...
Abstract— Privacy and security are two important but seemingly contradict objectives in pervasive computing environments (PCEs). On the one hand, service providers want to authen...
Ad hoc networks represent a key factor in the evolution of wireless communications. These networks typically consist of equal nodes that communicate without central control, inter...
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
Mobile computer technologies are increasingly being appropriated and used to facilitate people’s social life outside the work domain. Addressing this emerging domain of use, we ...