198 search results - page 12 / 40 » Describing Secure Interfaces with Interface Automata |
COLCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
- Internet is a place nowadays where interoperating services are offered which can be integrated or mashed up in order to fulfill user demands. This paper proposes a way to offer v...
SOUPS
2005
ACM
14 years 4 months ago
2005
ACM
Privacy-enhanced Identity Management can enable users to retain and maintain informational self-determination in our networked society. This paper describes the usability research...
AGENTS
1999
Springer
14 years 3 months ago
1999
Springer
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
SOUPS
2010
ACM
14 years 2 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...