发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[ACM Press the 16th ACM symposium - Innsbruck, Austria (2011.06.15-2011.06.17)] Proceedings of the 16th ACM symposium on Access control models and technologies - SACMAT '11 - Validation of security policies by the animation of Z specifications

[ACM Press the 16th ACM symposium - Innsbruck, Austria (2011.06.15-2011.06.17)] Proceedings of the 16th ACM symposium on Access control models and technologies - SACMAT '11 - Validation of security policies by the animation of Z specifications

Ledru, Yves; Qamar, Nafees; Idani, Akram; Richier, Jean-Luc; Labiadh, Mohamed-Amine
  • 作者Ledru, Yves; Qamar, Nafees; Idani, Akram; Richier, Jean-Luc; Labiadh, Mohamed-Amine
  • 文件大小432.37KB
  • 发表时间2011
  • DOI10.1145/1998441.1998471
← 返回【学霸图书馆】主页