期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于改进GNY逻辑的Kerberos*协议安全性分析 被引量:5
1
作者 马成林 肖美华 +1 位作者 邓春艳 朱科 《计算机与数字工程》 2014年第10期1758-1762,1882,共6页
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议... 为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议Kerberos*,结合可识别性和管辖性构造一种新的管辖规则,运用改进GNY逻辑对协议Kerberos*进行安全性分析。分析结果表明,协议Kerberos*是安全的,运用改进GNY逻辑证明过程比改进BAN逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。 展开更多
关键词 网络安全 KERBEROS *协议 GNY 形式化分析
下载PDF
自动产生TTCN测试套以及对RIP协议的应用 被引量:1
2
作者 赵玉兰 曾敏 叶新铭 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第6期682-687,共6页
对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LO-TOS.并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用.
关键词 RIP协议 E-LOTOS GE-LOTOS TTCN
下载PDF
基于μC/OS-Ⅲ的FreeModbus通信协议的实现 被引量:2
3
作者 王贯兵 陈洁 +2 位作者 李新伟 张欣 王高扬 《工业控制计算机》 2015年第11期21-23,共3页
介绍了以Free Modbus协议栈在嵌入式抢占实时操作系统μC/OS-III的STM32平台上,成功实现了Modbus协议的移植。通过详细分析Free Modbus协议栈并编写STM32F103VET6微处理器的底层驱动,成功实现了工业Modbus协议RTU和ASCII两种模式的通信... 介绍了以Free Modbus协议栈在嵌入式抢占实时操作系统μC/OS-III的STM32平台上,成功实现了Modbus协议的移植。通过详细分析Free Modbus协议栈并编写STM32F103VET6微处理器的底层驱动,成功实现了工业Modbus协议RTU和ASCII两种模式的通信功能。测试结果表明,在实际工业生产控制和仪表开发中,应用Freemodbus协议,完全符合工业数据采集、实时控制和数据处理等厂级重复性和精确度要求,在一定程度上降低了工业仪表开发的周期及成本。 展开更多
关键词 实时操作系统 μC/OS-III FreeModbus MODBUS协议 STM32
下载PDF
基于目录服务的POP3协议的应用
4
作者 孙雅娟 林南晖 《计算机工程》 CAS CSCD 北大核心 2003年第17期148-150,共3页
介绍了基于LDAP目录服务的POP协议的一种应用,通过设计popgateway来完成邮件的接收,以解决局域网中存在多个POP服务器时出现的问题,并讨论实现过程中的一些相关问题。
关键词 LDAP Popgateway POP协议
下载PDF
SSL VPN服务器关键技术研究 被引量:22
5
作者 周敬利 曾海鹏 《计算机工程与科学》 CSCD 2005年第6期7-9,共3页
SSL VPN 服务器位于防火墙之后,它利用安全套接层协议SSL在公共网上建立虚拟专用通道。本文针对传统的IPsec VPN的缺陷,论述了SSL协议的基本工作原理以及SSL VPN Server的具体实现。
关键词 SSL VPN IPSEC VPN SSL协议
下载PDF
Linux与Windows2000使用IPSec互连
6
作者 林锋 唐宁九 邹念 《计算机应用研究》 CSCD 北大核心 2001年第12期69-70,共2页
Internet协议安全 (IPSec)为IP网络通信提供对应用程序透明的加密服务。介绍了在一台使用Windows 2 0 0 0的网关和一台使用Linux的网关之间进行IPSec连接的配置的方法。
关键词 IPSEC协议 INTERNET LINUX WINDOWS2000 操作系统
下载PDF
移动PC无线上网的实现 被引量:1
7
作者 姚仑 《福建电脑》 2005年第9期129-130,共2页
本文从分析IEEE802.11协议入手,列举若干种无线上网的方式并在此基础上详细阐述WLAN(无线局域网)的实现方式。
关键词 IEEE802.1 1协议 WLAN EAP 无线上网 移动PC 802.11协议 无线局域网 IEEE
下载PDF
Android平台基于LBS的即时通信系统设计
8
作者 王建勇 刘飞 《计算机光盘软件与应用》 2012年第8期210-210,209,共2页
针对android系统,本文介绍了一种基于LBS即时通信系统的解决方案。该系统基于XMPP协议(可扩展通讯和表示协议)构建通信子模块,通过android手机自带的GPS定位系统进行用户定位,从而实现位置感知子模块,最后结合Google Map实现地图显示。... 针对android系统,本文介绍了一种基于LBS即时通信系统的解决方案。该系统基于XMPP协议(可扩展通讯和表示协议)构建通信子模块,通过android手机自带的GPS定位系统进行用户定位,从而实现位置感知子模块,最后结合Google Map实现地图显示。系统采用分层化瘀模块化设计,具有良好的可扩展性。 展开更多
关键词 android XMPP协议 GOOGLE MAP
下载PDF
Confucius Institute to Be Opened in Argentina
9
《China's Foreign Trade》 2008年第11期6-6,共1页
Lalo Classic Opera The King Duration:April 3rd-April 6th,2008 Avenue:National Grand Theater-Opera House Ticket Price:R MB 180/380/580/880/1080/1380 Performer:Theatre National de Toulouse of France Composer:Edouard Lal... Lalo Classic Opera The King Duration:April 3rd-April 6th,2008 Avenue:National Grand Theater-Opera House Ticket Price:R MB 180/380/580/880/1080/1380 Performer:Theatre National de Toulouse of France Composer:Edouard Lalo(French) Conductor:Michel Plasson(French) Edouard Lalo composed for a wide variety of forms, including stage,symphony orchestra,and chamber music. Unfortunately,his stature outside his homeland rests almost entirely on one spectacular violin showpiece,the Symphonie Espagnole.Within France,however,he is noted for his other works as well,including a single operatic masterpiece'Le Roi D'Ys'(the King of the legendary city of Ys).Lalo himself considered this work to be his greatest work. 展开更多
关键词 孔子协会 阿根廷 协议 文化交流
下载PDF
The ten WSIS Targets The Tunis phase of the World Summit on the Information Society(WSIS) 被引量:2
10
《无线电技术与信息》 2005年第12期2-3,共2页
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部