@article{邓辉:695, author = {邓辉, 石竑松, 张宝峰, 杨永生, 刘晖}, title = {安全策略及设计规范的半形式化方法}, publisher = {清华大学学报(自然科学版)}, year = {2017}, journal = {清华大学学报(自然科学版)}, volume = {57}, number = {7}, eid = {695}, numpages = {6}, pages = {695}, keywords = {安全策略;设计规范;半形式化}, url = {http://jst.tsinghuajournals.com/CN/abstract/article_150013.shtml}, doi = {10.16511/j.cnki.qhdxxb.2017.25.024} }