搜索到 篇“ 行为时序逻辑 “的相关文章

相关作者

李均涛
作品数：18被引量：45H指数：4
供职机构：贵州财经大学信息学院
研究主题：行为时序逻辑 取证研究 时序逻辑 入侵取证 遗传算法
唐郑熠
作品数：50被引量：77H指数：4
供职机构：福建工程学院
研究主题：SPIN 行为时序逻辑 新鲜性 语义WEB PROMELA
李祥
作品数：145被引量：424H指数：9
供职机构：贵州大学
研究主题：公平 椭圆曲线密码体制 安全性 密码协议 SPIN
吴勇
作品数：6被引量：6H指数：1
供职机构：山西大学工程学院
研究主题：行为时序逻辑 ARP协议 TLC ARP欺骗 LIBNET
万良
作品数：50被引量：242H指数：9
供职机构：贵州大学计算机科学与技术学院
研究主题：入侵检测 卷积神经网络 跨站脚本 ANDROID 聚类