1490 search results - page 243 / 298 » The Logic of Authentication Protocols |
TII
2008
13 years 8 months ago
2008
Current systems for automatic identification of goods presume a single administrative domain. However, in supply chain management systems temporary cooperations of multiple compani...
ACSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
FOCS
2010
IEEE
13 years 6 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
PODS
2006
ACM
14 years 9 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...