45
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Network and Operating System Support for Digital Audio and Video 

      Formal Engineering of XACML Access Control Policies in VDM++

      other
      ,
      Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references10

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Authorization and Access Control in Adaptive Workflows

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Verification and change-impact analysis of access-control policies

              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              Systematic Software Development using VDM

                Bookmark

                Author and book information

                Book Chapter
                2007
                : 37-56
                10.1007/978-3-540-76650-6_4
                0aa19307-6db3-4fdc-ad96-97cae27ec0b4
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,495

                Cited by2