198 search results - page 12 / 40 » Describing Secure Interfaces with Interface Automata |
161
click to vote
COLCOM
2009
IEEE
15 years 9 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...
161
Voted
SOUPS
2005
ACM
15 years 12 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...
188
Voted
AGENTS
1999
Springer
15 years 10 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...
164
Voted
SACMAT
2009
ACM
16 years 27 days 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...
178
Voted
SOUPS
2010
ACM
15 years 10 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...