Dangos 1 - 2 canlyniadau o 2 ar gyfer chwilio 'Springer−Verlag Lecture Notes in Computer Science‚ volume 5977', amser ymholiad: 0.07e Mireinio'r Canlyniadau
  1. 1

    Formalising and validating RBAC−to−XACML translation using lightweight formal methods gan Slaymaker, M, Power, D, Simpson, A

    Cyhoeddwyd 2010
    “...Springer−Verlag Lecture Notes in Computer Sciencevolume 5977...”
    Conference item
  2. 2

    On the modelling and analysis of Amazon Web Services access policies gan Power, D, Slaymaker, M, Simpson, A

    Cyhoeddwyd 2010
    “...Springer−Verlag Lecture Notes in Computer Sciencevolume 5977...”
    Conference item