万良｜贵州大学｜学者主页

百晓学者学者目录

精选作品

期刊论文

2026

基于动态时空图神经网络的网络流量入侵检测方法

罗恒，万良

《计算机工程》

DOI

2026

基于静态特征组合的图神经网络Android恶意软件检测方法

韦昊东，万良

《计算机工程》

DOI

2026

Two-Branch Intrusion Detection Method Based on Fusion of Deep Semantic and Statistical Features

Lan Xiong, Liang Wan, Jingxia Ren

Computers, Materials & Continua

DOI

2025

基于节点边缘注意力图神经网络的入侵检测方法

杨阳，万良，罗恒，张选

《计算机工程与设计》

DOI

2025

基于时空图神经网络的CAN总线入侵检测方法

刘晨飞，万良

《信息网络安全》

2024

融合稀疏注意力机制在DDoS攻击检测中的应用

王博，万良，叶金贤，刘明盛，孙菡迪

《计算机工程与设计》

2024

基于两阶段图学习的僵尸网络自动化检测方法

张选，万良，罗恒，杨阳

《信息网络安全》

2023

基于代理重加密的区块链数据受控共享方案

郭庆，田有亮，万良

《电子学报》

2023

DWT和AKD自动编码器的DDoS攻击检测方法研究

王博，万良，刘明盛，孙菡迪

《南京信息工程大学学报》

2022

边缘协同的轻量级隐私保护分类框架

熊金波，周永洁，毕仁万，万良，田有亮

《通信学报》

2022

深度可分离卷积在Android恶意软件分类的应用研究

褚堃，万良，马丹，张志宁

《计算机应用研究》

2022

支持结果验证的多服务器动态可搜索加密方案

何雨，田有亮，万良，杨力

《西安电子科技大学学报》

2022

基于Transformer的入侵检测方法研究

黄海彬，万良，褚堃

《软件导刊》

2022

基于可解释性的Android恶意软件检测

黄海彬，万良，褚堃

《计算机系统应用》

2021

改进编码-解码框架下的跨站脚本检测

程琪芩，万良

《计算机工程与设计》

DOI

2021

Attention-CNN在恶意代码检测中的应用研究

马丹，万良，程琪芩，孙志强

《计算机科学与探索》

2021

BiLSTM在JavaScript恶意代码检测中的应用

雷天翔，万良，于淼，褚堃

《计算机系统应用》

DOI

2020

基于深度自编码网络的Android恶意软件检测方法

孙志强，万良，丁红卫

《计算机科学》

2020

BiLSTM在跨站脚本检测中的应用研究

程琪芩，万良

《计算机科学与探索》

2019

基于人工免疫的集成入侵检测模型

辛壮，万良

《计算机工程与设计》

2019

基于深度卷积神经网络的入侵检测研究

丁红卫，万良，周康，龙廷艳，辛壮

《计算机科学》

2019

深度自编码网络在入侵检测中的应用研究

丁红卫，万良，龙廷艳

《哈尔滨工业大学学报》

2019

自编码网络在JavaScript恶意代码检测中的应用研究

龙廷艳，万良，丁红卫

《计算机科学与探索》

2019

改进的HS算法优化BP神经网络的入侵检测研究

丁红卫，万良，邓烜堃

《计算机工程与科学》

2019

基于MLP-HMM的跨站脚本攻击检测

周康，万良，丁红卫

《计算机工程与科学》

2019

改进的聚类算法在网络异常行为检测中的应用

辛壮，万良，李均涛

《计算机技术与发展》

2019

基于自编码网络和聚类的入侵检测技术

周康，万良

《计算机技术与发展》

2018

基于SPIN的安全协议的攻击者建模方法研究

易辉凡，万良，黄娜娜，王鹍鹏

《信息网络安全》

2018

DApriori:一种基于Apriori的Android恶意应用检测方法

马绍菊，万良，杨婷，马林进

《计算机应用研究》

2017

一种基于FlowDroid的Android隐私保护方法

马绍菊，万良，杨婷，马林进

《计算机应用与软件》

2017

一种基于序列最小优化算法的跨站脚本漏洞检测技术

黄娜娜，万良，邓烜堃，易辉凡

《信息网络安全》

2017

一种自适应权值最小负载的LVS集群负载均衡算法

杨婷，万良，马绍菊，马林进

《通信技术》

2014

磁盘阵列环境下的取证目标系统重构

杨勇，石文昌，梁彬，万良

《计算机应用与软件》

2013

基于分离逻辑的并行程序性质验证方法

万良，石文昌，冯慧

《计算机科学》

2012

基于TCT的取证工具适应性问题及其解决方法研究

翟皓昊，石文昌，梁彬，万良

《计算机应用与软件》

2012

Specifying and checking network protocol based on TLA

Liang Wan, Wenchang Shi

DOI

2011

Liveness rules from fairness based on TLA

Liang Wan

International Conference on Computer Science & Education (ICCSE)

DOI

2010

基于TLA的NS安全协议分析及检测

黄贻望，万良，李祥

《计算机工程与科学》

2010

Formalizing and Checking SET Protocol Based on TLA

Fei Xu, Ai Ming Zhang, Liang Wan

DOI

2010

Liveness Property Safety Rules of Multi-Action Based on TLA+

Liang Wan, Juntao Li, Zhengyi Tang

International Conference on Internet Technology and Applications

DOI

2009

以太帧的捕获、解析与应用

黄贻望，万良，李祥

《贵州大学学报(自然科学版)》

2008

Analysis and Checking of Safety Transition System Based on TLA+

Liang Wan, Li Xiang

International Conference on Wireless Communications, Networking and Mobile Computing

DOI

2008

Analysis and checking of controllable property transition system based on TLA+

Liang Wan, Li Xiang

International Conference on Anti-counterfeiting, Security, and Identification

DOI

2008

Analysis and Checking of Multi-Actor Liveness Rules from Fairness

Liang Wan, Li Xiang

International Conference on Wireless Communications, Networking and Mobile Computing

DOI

2007

基于TLA的Kerberos协议符号化与检测

万良，李样

《贵州大学学报(自然科学版)》

预印本

2024

A test-free semantic mistakes localization framework in Neural Code Translation

Lei Chen, Sai Zhang, Fangzhou Xu, Zhenchang Xing, Liang Wan, Xiaowang Zhang, Zhiyong Feng

arXiv preprint

研究方向

形式化方法信息安全计算机软件与理论

此主页由公开资料整理，尚未经学者本人认领。