位置：成果数据库 > 期刊 > 期刊详情页
Formal modeling and analysis in a logic for mobile Ad Hoc networks
  • ISSN号：1001-0505
  • 期刊名称：Dongnan Daxue Xuebao (ziran Kexue Ban)/journal of
  • 时间：0
  • 页码：258-265
  • 相关项目：无线网络路由协议的可证安全设计与自动化安全分析方法研究
作者： Guo, Xian|Feng, Tao|Yuan, Zhanting|Ma, Jianfeng|
同期刊论文项目
无线网络路由协议的可证安全设计与自动化安全分析方法研究
期刊论文 23 会议论文 10 专利 2
同项目期刊论文
Ad hoc网络节点不相交多路径距离矢量路由协议
An efficient and provably secure multi-path Distance Vector Routing
Analysis method of robustness for topology of Bernoulli node model
基于本体的拜占庭攻击的建模及检测
Provably secure approach for multiple node-disjoint paths source routing protocol
Provably secure partially blind signature without trusted PKG
Security authentication protocol for WiMAX wireless network based on protocol composition logic
Provably secure anonymous authentication key agreement protocol for multicast group
可证明安全的节点不相交多路径源路由协议
Provably secure certificate less blind proxy re-signatures
可证安全的无证书盲代理重签名
基于MA-ABE的云存储访问控制策略
Probabilistic emergent algorithm for cluster establishment
Secure access authentication scheme for 4G wireless network based on PCL
Coding-aware secure routing for multi-hop wireless networks
协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法
适合移动Ad hoc网络基于群签名认证的弹性组密钥管理方案
用逻辑方法验证移动Ad Hoc网络协议
可证明安全的群组匿名认证密钥协商协议
基于概率机制的涌现分簇算法
协议组合逻辑安全的4G无线网络接入认证方案
基于SVR对交通流中线性关联关系的分析与研究
期刊信息
  • 《东南大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:教育部
  • 主办单位:东南大学
  • 主编：毛善锋
  • 地址：南京四牌楼2号
  • 邮编：210096
  • 邮箱：xuebao@seu.edu.cn
  • 电话：025-83794323
  • 国际标准刊号：ISSN：1001-0505
  • 国内统一刊号：ISSN：32-1178/N
  • 邮发代号:28-15
  • 获奖情况:
  • 先后荣获第三届国家期刊奖百种重点期刊奖，2006-2...,2013年荣获首届江苏省新闻出版政府奖"报刊奖"
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:23651