scientific article; zbMATH DE number 5059860
From MaRDI portal
Publication:5490407
zbMATH Open1100.68121MaRDI QIDQ5490407
Publication date: 4 October 2006
Title of this publication is not available (Why is that?)
Related Items (4)
A comparison of semantic models for noninterference ⋮ System-level non-interference of constant-time cryptography. I: Model ⋮ Non-interference Properties for Data-Type Reduction of Communicating Systems ⋮ An implementation-theoretic approach to non-cooperative foundations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5490407)
