@article{孙召昌:44, author = {孙召昌,马建峰,孙聪,卢笛}, title = {基于嵌入式可信平台的运行时监控方法}, publisher = {网络与信息安全学报}, year = {2017}, journal = {网络与信息安全学报}, volume = {3}, number = {10}, eid = {44}, numpages = {7}, pages = {44}, keywords = {;可信计算;运行时监控;嵌入式系统;线性时序逻辑}, url = {https://www.infocomm-journal.com/cjnis/CN/abstract/article_166553.shtml}, doi = {10.11959/j.issn.2096-109x.2017.00209} }