解颜铭
作品数： 6被引量：5H指数：2
  • 所属机构:湖北师范学院计算机科学与技术学院
  • 所在地区:湖北省 黄石市
  • 研究方向:自动化与计算机技术
  • 发文基金:湖北省教育厅青年基金

相关作者

翁艳琴
作品数：6被引量：5H指数：2
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
石曙东
作品数：38被引量：36H指数：3
供职机构：湖北师范学院计算机科学与技术学院
研究主题：安全协议 串空间模型 形式化分析 BAN逻辑 数字签名
作品列表