Skip to main content
SpringerLink
Log in

Analyzing Delegation Properties

  • Conference paper
Book cover Security Protocols (Security Protocols 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2845))

Included in the following conference series:

  • 345 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bella, G.: Modelling Agents’ Knowledge Inductively. In: Malcolm, J.A., Christianson, B., Crispo, B., Roe, M. (eds.) Security Protocols 1999. LNCS, vol. 1796, pp. 85–94. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  2. Bella, G., Paulson, L.C.: A Proof of Non-Repudiation. In: Proc. of the 9th International Workshop on Security Protocols. LNCS Series. Springer, Heidelberg (2001) (in Press)

    Google Scholar 

  3. Bella, G., Paulson, L.C.: Mechanical Proofs about a Non-Repudiation Protocol. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol. 2152, pp. 91–104. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  4. Crispo, B.: Delegation Protocols for Electronic Commerce. In: Proc. of the 6th Symposium on Computers and Communications (ISCC 2001). IEEE Press, Los Alamitos (2001)

    Google Scholar 

  5. Crispo, B., Ruffo, G.: Reasoning about Accountability within Delegation. In: Qing, S., Okamoto, T., Zhou, J. (eds.) ICICS 2001. LNCS, vol. 2229, p. 251. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  6. Paulson, L.C.: The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security 6, 85–128 (1998)

    Google Scholar 

  7. Zhou, J., Gollmann, D.: A Fair Non-Repudiation Protocol. In: Proc. of the 15th IEEE Symposium on Security and Privacy, pp. 55–61. IEEE Press, Los Alamitos (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, (UK)

    Giampaolo Bella & Lawrence C. Paulson

  2. Dipartimento di Matematica e Informatica, Università di Catania, Viale A. Doria 6, I-95125, Catania, (Italy)

    Giampaolo Bella

Authors
  1. Giampaolo Bella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lawrence C. Paulson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, University of Hertfordshire,  

    Bruce Christianson

  2. Computer Systems Group, Vrije Universiteit, Amsterdam, The Netherlands

    Bruno Crispo

  3. Georgia Institute of Technology, Atlanta, GA

    James A. Malcolm

  4. Microsoft Research, Cambridge, UK

    Michael Roe

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bella, G., Paulson, L.C. (2004). Analyzing Delegation Properties. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds) Security Protocols. Security Protocols 2002. Lecture Notes in Computer Science, vol 2845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39871-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39871-4_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20830-3

  • Online ISBN: 978-3-540-39871-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation