A mostrar 1 - 2 resultados de 2 para a pesquisa 'Springer−Verlag Lecture Notes in Computer Science‚ volume 5977', tempo de pesquisa: 0.12seg Refinar resultados
  1. 1
    Formalising and validating RBAC−to−XACML translation using lightweight formal methods

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

    Publicado em 2010
    “...Springer−Verlag Lecture Notes in Computer Science‚ volume 5977...”
    Conference item
  2. 2
    On the modelling and analysis of Amazon Web Services access policies

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

    Publicado em 2010
    “...Springer−Verlag Lecture Notes in Computer Science‚ volume 5977...”
    Conference item

Ferramentas de pesquisa: