Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Springer−Verlag Lecture Notes in Computer Science‚ volume 5977', Sorgu süresi: 0.06s Sonuçları Daraltın
  1. 1
    Formalising and validating RBAC−to−XACML translation using lightweight formal methods

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

    Baskı/Yayın Bilgisi 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 Yazar: Power, D, Slaymaker, M, Simpson, A

    Baskı/Yayın Bilgisi 2010
    “…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
    Conference item

Arama Araçları: