Inproceedings,

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.

, and .
SEC, volume 428 of IFIP Advances in Information and Communication Technology, page 250-263. Springer, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews