Formal modelling of a usable identity management solution for virtual organisations

Ali N. Haidar; P. V. Coveney; Ali E. Abdallah; P. Y.A. Ryan; B. Beckles; J. M. Brooke; M. A.S. Jones

doi:10.4204/EPTCS.16.4

Formal modelling of a usable identity management solution for virtual organisations

Ali N. Haidar, P. V. Coveney, Ali E. Abdallah, P. Y.A. Ryan, B. Beckles, J. M. Brooke, M. A.S. Jones

Research output: Contribution to journal › Conference article › peer-review

9 Citations (Scopus)

Original language	English
Pages (from-to)	41-50
Number of pages	10
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	16
DOIs	https://doi.org/10.4204/EPTCS.16.4
Publication status	Published (VoR) - 29 Jan 2010
Event	2nd Workshop on Formal Aspects of Virtual Organisations, FAVO 2009 - Eindhoven, Netherlands Duration: 3 Nov 2009 → …

Funding

Acknowledgment: This work is supported by EPSRC through the User-Friendly Security for Grid Environments project (EP/D051754/1), RealityGrid platform (EPSRC EP/C536452/1), EU FP6 ViroLab (EU FP6 027446).

Access to Document

10.4204/EPTCS.16.4

Cite this

@article{54533702b0e642d084e498f426aff3f0,

title = "Formal modelling of a usable identity management solution for virtual organisations",

author = "Haidar, \{Ali N.\} and Coveney, \{P. V.\} and Abdallah, \{Ali E.\} and Ryan, \{P. Y.A.\} and B. Beckles and Brooke, \{J. M.\} and Jones, \{M. A.S.\}",

note = "Funding Information: Acknowledgment: This work is supported by EPSRC through the User-Friendly Security for Grid Environments project (EP/D051754/1), RealityGrid platform (EPSRC EP/C536452/1), EU FP6 ViroLab (EU FP6 027446). Publisher Copyright: {\textcopyright} Ali N. Haidar et al.; 2nd Workshop on Formal Aspects of Virtual Organisations, FAVO 2009 ; Conference date: 03-11-2009",

year = "2010",

month = jan,

day = "29",

doi = "10.4204/EPTCS.16.4",

language = "English",

volume = "16",

pages = "41--50",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

}

TY - JOUR

T1 - Formal modelling of a usable identity management solution for virtual organisations

AU - Haidar, Ali N.

AU - Coveney, P. V.

AU - Abdallah, Ali E.

AU - Ryan, P. Y.A.

AU - Beckles, B.

AU - Brooke, J. M.

AU - Jones, M. A.S.

N1 - Funding Information: Acknowledgment: This work is supported by EPSRC through the User-Friendly Security for Grid Environments project (EP/D051754/1), RealityGrid platform (EPSRC EP/C536452/1), EU FP6 ViroLab (EU FP6 027446). Publisher Copyright: © Ali N. Haidar et al.

PY - 2010/1/29

Y1 - 2010/1/29

UR - https://www.scopus.com/pages/publications/84864866741

UR - https://www.scopus.com/inward/citedby.url?scp=84864866741&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.16.4

DO - 10.4204/EPTCS.16.4

M3 - Conference article

AN - SCOPUS:84864866741

SN - 2075-2180

VL - 16

SP - 41

EP - 50

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 2nd Workshop on Formal Aspects of Virtual Organisations, FAVO 2009

Y2 - 3 November 2009

ER -

Formal modelling of a usable identity management solution for virtual organisations

Funding

Access to Document

Other files and links

Fingerprint

Cite this