%0 Journal Article %1 journals/jsjkx/ChenWF18 %A Chen, Hongsong %A Wang, Gang %A Fu, Zhongchuan %D 2016 %J 计算机科学 %K dblp %N 4 %P 140-144 %T 基于分段模型检测的云服务跨域认证协议的形式化分析与验证 (Cloud Services Cross-domain Authentication Protocol Formal Analysis and Verification Based on Fragment Model Check). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#ChenWF18 %V 43

@article{journals/jsjkx/ChenWF18, added-at = {2020-03-20T00:00:00.000+0100}, author = {Chen, Hongsong and Wang, Gang and Fu, Zhongchuan}, biburl = {https://www.bibsonomy.org/bibtex/2e9aa51deb4db114e3a9bc86897328353/dblp}, ee = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2016.04.028}, interhash = {6a31b5b74945042c69e2921131407f90}, intrahash = {e9aa51deb4db114e3a9bc86897328353}, journal = {计算机科学}, keywords = {dblp}, number = 4, pages = {140-144}, timestamp = {2020-03-21T11:56:02.000+0100}, title = {基于分段模型检测的云服务跨域认证协议的形式化分析与验证 (Cloud Services Cross-domain Authentication Protocol Formal Analysis and Verification Based on Fragment Model Check).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#ChenWF18}, volume = 43, year = 2016 }