33
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Graph-Theoretic Concepts in Computer Science : 24th International Workshop, WG’98, Smolenice Castle, Slovak Republic, June 18-20, 1998. Proceedings 

      Modelling Attack-defense Trees Using Timed Automata

      other

      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 references21

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

          A Tutorial on Uppaal

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Uppaal in a nutshell

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              DAG-based attack and defense modeling: Don’t miss the forest for the attack trees

                Bookmark

                Author and book information

                Book Chapter
                2016
                August 17 2016
                : 35-50
                10.1007/978-3-319-44878-7_3
                911c53a5-1186-45c8-aa6f-4a2cef9c28ff
                History

                Comments

                Comment on this book

                Book chapters

                Similar content5,753

                Cited by6