6 search results - page 2 / 2 » A Tableau Method for Checking Rule Admissibility in S4 |
72
Voted
ESOP
2003
Springer
15 years 2 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...