Previous work on proving non-repudiation properties using the Inductive Method seems to be reusable for proving delegation properties. Current experiments with Crispo's delegation protocol support this claim. It follows that the two properties are closely related, though they are used in different contexts to convey different guarantees. It is expected that one man-month is required to develop full machine proofs. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Bella, G., & Paulson, L. C. (2003). Analyzing delegation properties. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2845, 120–127. https://doi.org/10.1007/978-3-540-39871-4_11
Mendeley helps you to discover research relevant for your work.