位置：成果数据库 > 期刊 > 期刊详情页
安全协议多目标语言代码自动化实现方案
  • ISSN号：1000-436X
  • 期刊名称：通信学报
  • 时间：2012.9.25
  • 页码：152-159
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]西安电子科技大学计算机学院,陕西西安710071, [2]南京大学计算机软件新技术国家重点实验室,江苏南京210032
  • 相关基金：国家科技部重大专项基金资助项目（2011ZX03005-002）;国家自然科学基金资助项目（U1135002,61072066）;中央高校基本科研业务费基金资助项目（JY10000903001,JY10000901034）
  • 相关项目：数字社区无线网络信息融合安全理论及关键技术研究
作者： 李登|马建峰|LI Xing-hua1,2,LI Shuai-tuan1,LI Deng1,MA Jian-feng1(1.School|2.State Key Lab.for Novel Software Technology,Nanjing Univers|
关键词： 安全协议, 代码实现, 自动化, XML, security protocol, code realization, automation, XML
中文摘要：

提出了安全协议多目标语言代码自动化实现方案。首先,基于XML语言,设计了安全协议描述方法;其次,开发了一个图形用户接口GUI,用户通过GUI配置安全协议,自动化生成协议的XML描述文档;最后,设计并实现了一个安全协议编译器,将先前得到的XML描述文档作为输入,生成所需的目标语言代码。分析表明同已有方案相比,该方案具有明显的优势。

英文摘要：

A multi-objective-language-oriented automatic code generation scheme for security protocols was put forward.First,based on XML,a description method for security protocols was designed.Second,a graphic user interface（GUI） was developed,through which the XML description documents could be automatically generated by configuring the se-curity protocol.Finally,a security protocol interpreter was designed,through which the corresponding objective code was generated with the XML description document as input.Analysis indicates that compared with the existing schemes the scheme has obvious advantages.

同期刊论文项目
数字社区无线网络信息融合安全理论及关键技术研究
期刊论文 137 会议论文 35 获奖 8 著作 1
3G/LTE-WLAN异构网络中密钥管理与身份认证理论与方法研究
期刊论文 39 会议论文 1 获奖 1 专利 6
同项目期刊论文
One-Time rational secret sharing scheme based on Bayesian game
秘密共享体制的博弈论分析
一种分层结构与快速切换的可靠移动组播方案
可证明安全的可信网络连接协议模型
可证安全的无证书盲代理重签名
3G-WLAN融合网络的票据认证协议
A Collaborative QoS-Aware Service Evaluation Method for Service Selection
高效的无线传感器网络加密数据汇聚方案
基于MA-ABE的云存储访问控制策略
物联网感知层一种基于属性的访问控制机制
An Engine for Automatic Code Generation of Security Protocols in Multiple Languages
Balancing trajectory privacy and data utility using a personalized anonymization model
A novel re-authentication scheme based on tickets in wireless local area networks
Radial Tchebichef moment invariants for image recognition
利用无线物理层密钥增强802.11i的安全性
A USIM-Based Uniform Access Authentication Framework in Mobile Communication
Security Enhancement of Robust User Authentication Framework for Wireless Sensor Networks
无线移动网络跨可信域的直接匿名证明方案
Trusted Routing Based on Identity-Based Threshold Signature for Opportunistic Networks
椭圆曲线上的信息论安全的可验证秘密共享方案
基于安全熵的多级访问控制模型量化分析方法
应急通信网拓扑模型及其分析
基于身份加密的机会网络安全路由架构
基于串空间的Ad Hoc安全路由协议攻击分析模型
机会网络中基于身份门限签名的可信路由(英文)
基于博弈论的身份认证协议的分析——NGUYENLH方案的改进
Security analysis of access control model in hybrid cloud based on security entropy
基于基函数的网络协议分析方法
LTPPM: a location and trajectory privacy protection mechanism in participatory sensing
An Enhanced Authentication Scheme with Anonymity for Roaming Service in Global Mobility Networks
基于位置密钥交换的 UC 安全模型
以社区域为中心基于信任的访问控制
密文策略的权重属性基加密方案
MAP: Towards Authentication for Multiple Tags
基于属性的可净化签名方案
Provable ownership of files in deduplication cloud storage
TrPF: A Trajectory Privacy-Preserving Framework for Participatory Sensing
Cryptanalysis of smart-card-based password authenticated key agreement protocol for session initiati
Ciphertext-Policy Hierarchical Attribute-based Encryption for Fine-Grained Access Control of Encrypt
Access control requirements for structured document in cloud computing
Analyzing mechanism-based attacks in privacy-preserving data publishing
Robust Chaotic Map-based Authentication and Key Agreement Scheme with Strong Anonymity for Telecare
SLCRM: Subjective Logic-Based Cross-Layer Reputation Mechanism for Wireless Mesh Networks
两个多服务器架构下动态认证协议的安全性分析(英文)
基于改进SEIR模型的SNS信息传播稳定性分析(英文)
A robust and privacy-preserving aggregation scheme for secure smart grid communications in digital c
一种非合作博弈下的无线网络接入选择方法
Attribute Based Multi-Signature Scheme for Wireless Communications
Efficient attribute based sequential aggregate signature for wireless sensor networks
云计算环境中组合文档模型及其访问控制方案
Trust-based service composition in multi-domain environments under time constraint
LBSs中面向协同位置隐私保护的群组最近邻查询
云计算中一种安全的电子文档自毁方案
Provable Ownership of Encrypted Files in De-duplication Cloud Storage
Enhancing traffic capacity of scale-free networks by employing hybrid routing strategy
PRIAM: Privacy Preserving Identity and Access Management Scheme in Cloud
CL-TAP: An efficient certificateless based trusted access protocol for WLAN
云中基于常数级密文属性基加密的访问控制机制
面向多服务器架构的认证协议分析与改进
一种素数阶群上构造的自适应安全的多授权机构CP-ABE方案
视频数据库多级访问控制
无线传感器网络k度覆盖控制算法
Large universe decentralized key-policy attribute-based encryption
Privacy-Preserving Patient-Centric Clinical Decision Support System on Naive Bayesian Classification
ANew Unsupervised Feature Ranking Method for Gene Expression Data Based onConsensus Affinity
A K-Median Facility Location Agent for Low-Cost Service Selection in Digital Community Network
Energy-Balanced Data Gathering and Aggregating in WSNs: A Compressed Sensing Scheme
Stability Analysis of Information Spreading on SNS Based on Refined SEIR Model
Improvement of robust smart-card-based password authentication scheme
基于重构顺序调整机制的理性秘密共享方案
LBS中面向协同位置隐私保护的群组最近邻查询
室内定位系统中指纹库的优化方法
无线网络中身份认证协议选择方法
新的车辆远程诊断授权协议
一种利用手指图像测量人体心率的方法
基于模型检测的服务链信息流安全可组合验证方法
基于接口精化的广义无干扰性研究
Efficient and Privacy-Preserving Skyline Computation Framework across Domains
Bayesian mechanism for rational secret sharing scheme
On the Outage Probability of Device-to-Device Communication Enabled Multi-Channel Cellular Networks:
Abdulhameed Alelaiwi. Robust extended chaotic maps-based three-factor authentication scheme preservi
A privacy preserving three-factor authentication protocol for e-health clouds
Cryptanalysis of Two Dynamic Identity Based Authentication Schemes for Multi-Server Architecture
An approach to quality assessment for Web service selection based on the analytic hierarchy process
A Provably Secure Three-Party Password Authenticated Key Exchange Protocol without Using Server&apos
Secure service composition with information flow control in service clouds
Automated enforcement for relaxed information release with reference points
基于SEIR的社交网络信息传播模型
基于博弈论的移动自组织网络的信任管理方法
面向虚拟社区物联网的信任推荐算法
云计算环境下基于CCP-ABE的访问控制机制
可伸缩视频流的安全网络编码方案
基于行为的结构化文档多级访问控制
Improvement of robust smart ‐ card ‐ based password authentication scheme
基于博弈论的身份认证协议的分析——NGUYEN L H方案的改进
A Universal Framework for Dynamic Evaluation of Fairness under Cloud Computing
Device-to-device communications for enhancing quality of experience in software defined multi-tier L
On Key Evolution over Wireless Channels
Survey on cyberspace security
三维集成技术的现状和发展趋势
基于博弈论的身份认证协议的分析——NGUYENLH方案的改进
支持树形访问结构的多权威基于属性的签名方案
支持动态策略更新的半策略隐藏属性加密方案
无证书连接关键字密文检索
关键字域可变的可验证密文检索
高效的可验证多关键字密文检索
保护隐私的轻量级云数据共享方案
MANET安全路由协议自动化分析
服务组合中保障公平性的信誉传播算法
采用攻击策略图的实时警报综合分析方法
标准模型下隐私保护的多因素密钥交换协议？
期刊信息
  • 《通信学报》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国通信学会
  • 主编：杨义先
  • 地址：北京市丰台区成寿寺4路11号邮电出版大厦8层
  • 邮编：100078
  • 邮箱：
  • 电话：010-81055478 81055481
  • 国际标准刊号：ISSN：1000-436X
  • 国内统一刊号：ISSN：11-2102/TN
  • 邮发代号:2-676
  • 获奖情况:
  • 信息产业部通信科技期刊优秀期刊二等奖
  • 国内外数据库收录:
  • 荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:25019