Chinese  |  English
Semi-formal method for security policies and design specifications
DENG Hui, SHI Hongsong, ZHANG Baofeng, YANG Yongsheng, LIU Hui
Journal of Tsinghua University(Science and Technology) . 2017, (7): 695 -701 .  DOI: 10.16511/j.cnki.qhdxxb.2017.25.024

Postal Code: 100084
Tel: 010-62788108/62771385/62792976/62792994　
E-mail：xuebaost@tsinghua.edu.cn
Powered by Beijing Magtech Co. Ltd.
Visited
    Total visitors:
    Visitors of today:
    Now online:
　
Copyright © Journal of Tsinghua University(Science and Technology)