At Oakland 2005, Murdoch and Danezis described an attack on the Tor anonymity service that recovers the nodes in a Tor circuit, but not the client. We observe that in a peer-to-pee...
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
is.sagepub.com/cgi/content/abstract/33/1/21 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Chartered Institute of L...
This paper describes a heart attack self-test application for a mobile phone which allows potential victims of a heart attack to quickly assess whether they are having a heart att...
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
Joan Arnedo-Moreno, Jordi Herrera-Joancomart&iacut...