6 search results - page 2 / 2 » A Tableau Method for Checking Rule Admissibility in S4 |
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...