Verifying a delegation protocol for Grid systems

Benjamin Aziz, G. Hamilton

Research output: Contribution to journalArticlepeer-review

111 Downloads (Pure)


In this paper, we design a non-uniform static analysis for formally verifying a protocol used in large-scale Grid systems for achieving delegations from users to critical system services. The analysis reveals a few shortcomings in the protocol, such as the lack of token integrity and the possibility of repudiating a delegation session. It also reveals the vulnerability of non-deterministic delegation chains that was detected as a result of adopting a more precise analysis, which allows for more participants in the protocol than did the original protocol designers envisage.
Original languageEnglish
Pages (from-to)476-485
Number of pages10
JournalFuture Generation Computer Systems
Issue number5
Publication statusPublished - May 2011


  • Delegation
  • Security
  • Protocol Veri�cation
  • Static Analysis
  • Grid Computing


Dive into the research topics of 'Verifying a delegation protocol for Grid systems'. Together they form a unique fingerprint.

Cite this