Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Springer−Verlag Lecture Notes in Computer Science‚ volume 5977', doba hledání: 0,06 s. Upřesnit hledání
  1. 1

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

    Vydáno 2010
    “…Springer−Verlag Lecture Notes in Computer Sciencevolume 5977…”
    Conference item
  2. 2

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

    Vydáno 2010
    “…Springer−Verlag Lecture Notes in Computer Sciencevolume 5977…”
    Conference item

Vyhledávací nástroje: