33 search results - page 7 / 7 » Automata-Based Verification of Security Requirements of Comp... |
NETWORK
2008
13 years 4 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
SAC
2000
ACM
13 years 9 months ago
2000
ACM
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...