|
1
|
形式分析进入西方中国艺术研究的初代演绎与在场转换——以巴赫霍夫为中心的考察 |
耿钧
|
《南京艺术学院学报(美术与设计)》
北大核心
|
2025 |
0 |
|
|
2
|
基于先验路径选择的安全协议形式化分析优化方法 |
蔡光英
蔡柳佳
陆思奇
王永娟
王向宇
|
《信息安全研究》
北大核心
|
2025 |
0 |
|
|
3
|
基于递归认证测试的SIP协议形式化分析 |
姚萌萌
王宇
洪瑜平
|
《信息网络安全》
CSCD
北大核心
|
2024 |
0 |
|
|
4
|
基于形式概念分析的优质教学模式挖掘 |
郝飞
锁婷
马胜清
李鹏
|
《华南师范大学学报（自然科学版）》
CAS
北大核心
|
2024 |
2
|
|
|
5
|
基于矩阵信息熵的形式背景动态属性约简方法 |
刘文霞
李进金
王鸿伟
|
《南京大学学报(自然科学版)》
北大核心
|
2025 |
1
|
|
|
6
|
约简形式背景下的概念集构造及其推荐应用 |
陈昕
刘忠慧
闵帆
|
《计算机应用》
北大核心
|
2025 |
0 |
|
|
7
|
基于ATL的公平电子商务协议形式化分析 |
文静华
李祥
张焕国
梁敏
张梅
|
《电子与信息学报》
EI
CSCD
北大核心
|
2007 |
7
|
|
|
8
|
模糊形式概念分析与模糊概念格 |
胡明涵
张俐
任飞亮
|
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2007 |
16
|
|
|
9
|
UML实时活动图的形式化分析 |
崔萌
李宣东
郑国梁
|
《计算机学报》
EI
CSCD
北大核心
|
2004 |
22
|
|
|
10
|
列车运行控制系统中安全通信协议的形式化分析 |
陈黎洁
单振宇
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2012 |
11
|
|
|
11
|
安全协议的形式化分析技术与方法 |
薛锐
冯登国
|
《计算机学报》
EI
CSCD
北大核心
|
2006 |
62
|
|
|
12
|
一种基于模糊形式概念分析的程序聚类方法 |
许佳卿
彭鑫
赵文耘
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2009 |
13
|
|
|
13
|
基于SVO逻辑的云服务安全形式化分析 |
陈丹伟
黄秀丽
孙国梓
|
《小型微型计算机系统》
CSCD
北大核心
|
2010 |
4
|
|
|
14
|
ETCS-2级列控系统RBC交接协议的形式化分析 |
牛儒
曹源
唐涛
|
《铁道学报》
EI
CAS
CSCD
北大核心
|
2009 |
18
|
|
|
15
|
基于串空间的安全协议形式化分析研究 |
姚萌萌
唐黎
凌永兴
肖卫东
|
《信息网络安全》
CSCD
北大核心
|
2020 |
5
|
|
|
16
|
一个非否认协议ZG的形式化分析 |
范红
冯登国
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2005 |
8
|
|
|
17
|
安全协议形式化分析研究 |
高尚
胡爱群
石乐
陈先棒
|
《密码学报》
|
2014 |
8
|
|
|
18
|
不可否认协议时限性的形式化分析 |
黎波涛
罗军舟
|
《软件学报》
EI
CSCD
北大核心
|
2006 |
13
|
|
|
19
|
TCM密钥迁移协议设计及形式化分析 |
张倩颖
冯登国
赵世军
|
《软件学报》
EI
CSCD
北大核心
|
2015 |
8
|
|
|
20
|
基于进程演算和知识推理的安全协议形式化分析 |
顾永跟
傅育熙
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2006 |
7
|
|
