1
|
基于SVO逻辑的云服务安全形式化分析 |
陈丹伟
黄秀丽
孙国梓
|
《小型微型计算机系统》
CSCD
北大核心
|
2010 |
3
|
|
2
|
电子商务支付协议认证性的SVO逻辑验证 |
肖茵茵
苏开乐
|
《计算机工程与应用》
CSCD
|
2014 |
7
|
|
3
|
对SVO逻辑方法的改进 |
吴开贵
陈明
|
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
|
2007 |
4
|
|
4
|
一种基于SVO逻辑的新形式化验证方法 |
王茜
杨德礼
|
《计算机集成制造系统-CIMS》
EI
CSCD
北大核心
|
2004 |
6
|
|
5
|
适应受限环境的认证协议及其SVO逻辑分析 |
刘志猛
赵燕丽
范辉
原达
|
《计算机工程》
CAS
CSCD
北大核心
|
2009 |
1
|
|
6
|
不可否认协议形式化分析的SVO逻辑方法 |
黎波涛
罗军舟
|
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
|
2005 |
2
|
|
7
|
汉语SVO句与维吾尔语相对应句型的语义对比分析 |
徐春兰
陈玉梅
|
《语言与翻译》
CSSCI
|
2014 |
1
|
|
8
|
粤语有定的“量+名”结构——基于交际话语和SVO语序的制约 |
单韵鸣
|
《华南理工大学学报(社会科学版)》
|
2007 |
7
|
|
9
|
俄、汉语SVO句中客体题元和被动意义的形态标记 |
陈国亭
|
《中国俄语教学》
北大核心
|
2003 |
1
|
|
10
|
基于攻击者行为能力的SVO协议分析 |
刘志猛
|
《计算机工程》
CAS
CSCD
北大核心
|
2011 |
0 |
|
11
|
基于SVO逻辑的3G AKA协议形式化分析 |
周鹏
杨世平
时翠梅
|
《电脑知识与技术》
|
2008 |
0 |
|
12
|
基于特征向量与SVO扩展的企业生态关系抽取 |
代江波
毛建华
刘学锋
张鸿洋
|
《计算机技术与发展》
|
2018 |
5
|
|
13
|
基于SVO逻辑的公钥协议进化生成 |
毛晨晓
罗文坚
曹先彬
王煦法
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2006 |
1
|
|
14
|
基于改进语义SVO逻辑的二维认证协议分析 |
黄翰陞
贺前华
江瑾
|
《计算机应用》
CSCD
北大核心
|
2007 |
1
|
|
15
|
浅析电子商务支付协议认证性的SVO逻辑验证 |
刘丽峰
|
《电子测试》
|
2015 |
0 |
|
16
|
SVO结构的多义性与翻译研究 |
陈春华
|
《长沙铁道学院学报(社会科学版)》
|
2006 |
0 |
|
17
|
SVO句型中语流音变探究 |
蒋宜轩
|
《海外英语》
|
2012 |
0 |
|
18
|
vP壳结构与SVO句式的生成研究 |
朱海燕
陈文
何新
|
《合肥工业大学学报(社会科学版)》
|
2009 |
1
|
|
19
|
基于SVO逻辑的SNMP协议的改进及形式化分析 |
周鹏
林华
|
《湖南科技学院学报》
|
2011 |
1
|
|
20
|
浅析英汉SVO语序的历史演变与固定 |
杨娅珍
|
《绥化学院学报》
|
2009 |
1
|
|