198 search results - page 19 / 40 » Describing Secure Interfaces with Interface Automata |
CASCON
2007
13 years 11 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
PERVASIVE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come fro...
SOUPS
2009
ACM
14 years 4 months ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...