1
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      A calculus of challenges and responses

      Proceedings of the 2007 ACM workshop on Formal methods in security engineering

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Journal
          10.1145/1314436.1314444

          Comments

          Comment on this article