Skip to content

Verifying a delegation protocol for Grid systems

Research output: Contribution to journalArticlepeer-review

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


  • AzizFGCS.pdf

    Accepted author manuscript (Post-print), 453 KB, PDF document

Related information

Relations Get citation (various referencing formats)

ID: 68620