Publication

Number of items: 1.
1 March 2012
  • A model Type Theory for Formalizing Trusted Communications. (2012) Giuseppe Primiero and Mariarosaria Taddeo
    • This list was generated on Sat Aug 22 03:11:31 2026 BST.