安全协议多目标语言代码自动化实现方案

李兴华; 李帅团; 李登; 马建峰

doi:1000-436X(2012)09-0152-08

您当前的位置：

首页 >

文章列表页 >

安全协议多目标语言代码自动化实现方案

技术报告 | 更新时间：2024-06-05

- 安全协议多目标语言代码自动化实现方案
- Multi-language oriented automatic realization method for cryptographic protocols
- “在安全协议领域，专家提出了多目标语言代码自动化实现方案，为协议开发提供新方向。”
- 通信学报 2012年33卷第9期页码：152-159
- 作者机构：
  
  1. 西安电子科技大学计算机学院，陕西西安710071
  2. 南京大学计算机软件新技术国家重点实验室，江苏南京210032
- 作者简介：
  
  [ "李兴华（1978-），男，河南南阳人，博士，西安电子科技大学副教授，主要研究方向为网络与信息安全等。" ]
  [ "李帅团（1987-），男，河南许昌人，西安电子科技大学硕士生，主要研究方向为网络与信息安全等。" ]
  [ "李登（1987-），男，湖北襄樊人，西安电子科技大学硕士生，主要研究方向为网络与信息安全等。" ]
  [ "马建峰（1963-），男，陕西西安人，博士，西安电子科技大学计算机学院院长、教授、博士生导师，主要研究方向为网络与信息安全等。" ]
- 基金信息：
  
  国家科技部重大专项基金资助项目(2011ZX03005-002);国家自然科学基金资助项目(U1135002,61072066);中央高校基本科研业务费基金资助项目(JY10000903001);中央高校基本科研业务费基金资助项目(JY10000901034)
- DOI：1000-436X(2012)09-0152-08
  中图分类号： TP311
- 网络出版日期：2012-09，
  
  纸质出版日期：2012-09-25
- 稿件说明：
移动端阅览
李兴华, 李帅团, 李登, 等. 安全协议多目标语言代码自动化实现方案[J]. 通信学报, 2012,33(9):152-159.

Xing-hua LI, Shuai-tuan LI, Deng LI, et al. Multi-language oriented automatic realization method for cryptographic protocols[J]. Journal on communications, 2012, 33(9): 152-159.
李兴华, 李帅团, 李登, 等. 安全协议多目标语言代码自动化实现方案[J]. 通信学报, 2012,33(9):152-159. DOI： 1000-436X(2012)09-0152-08.

Xing-hua LI, Shuai-tuan LI, Deng LI, et al. Multi-language oriented automatic realization method for cryptographic protocols[J]. Journal on communications, 2012, 33(9): 152-159. DOI： 1000-436X(2012)09-0152-08.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于CPN的车载网络无证书匿名认证和密钥协商方案研究

室内定位隐私保护综述

基于CPN的安全协议形式化建模及安全分析方法

基于计算模型的安全协议Swift语言实施安全性分析

SSMCI：以攻击者为中心的安全协议验证机制

安全协议多目标语言代码自动化实现方案

Multi-language oriented automatic realization method for cryptographic protocols

DOI：1000-436X(2012)09-0152-08