947 search results - page 112 / 190 » Provable Implementations of Security Protocols |
92
Voted
CSSE
2006
IEEE
15 years 18 days ago
2006
IEEE
The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...
94
Voted
ISSA
2004
15 years 1 months ago
2004
This paper argues that powerful impetus exists for the realisation of a global multilateral electronic market infrastructure, as envisaged by the ebXML1 endeavour. Crucial in this...
108
click to vote
CADE
2008
Springer
16 years 27 days ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
186
Voted
SIGMOD
2008
ACM
16 years 22 days ago
2008
ACM
Mobile devices equipped with positioning capabilities (e.g., GPS) can ask location-dependent queries to Location Based Services (LBS). To protect privacy, the user location must n...
97
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Malware such as Trojan Horses and spyware remain to be persistent security threats that exploit the overly complex graphical user interfaces of today’s commodity operating syste...