dsdtool

dsdtool: OCaml implementation of the full DSD verification framework.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Grabowski, Robert: Information flow analysis for mobile code in dynamic security environments (2012)