电子邮件系统相关协议

1.SMTP(Simple Mail TransferProtocol,简单邮件传输协议) SMTP是用来接收和发送电子邮件的TCP/IP协议,通常用于把电子邮件从客户机传输到服务器,或者从某一服务器传输到另一个服务器。它是Internet上传输电子邮件的标准协议,规定了主机之间传输电子邮件的标准交换格式和邮件在链路层上的传输机制。2.POP3(Post Office Protocol,邮局协议,目前为第3版本) POP3是关于接收电子邮件的客户机/服务器协议,其中服务器负责接收并保存电子邮件,客户端邮件接收程序进行邮件检查并下载到本地硬盘。POP3规范了对电子邮     

Java SMTP协议电子邮件传送剖析

本文先着重介绍了SMTP(Simple Mail Transfer Protocol)简单邮件传输协议通讯模型和会话流程,随后介绍了一种采 用SMTP协议规范并通过直接使用SMTP协议命令与SMTP服务器(邮件服务器)连接实现电子邮件传送的方法。并且给 出了在Java开发环境下的部分关键的实现代码。     

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。     

一种含时间因素的安全协议形式化分析方法

提出一种针对包含时间因素的安全协议的有色Petri(CPN)形式化分析方法,利用CPN Tools中的内置全局自动时钟标记,时间相关性质可通过仿真和生成状态图进行分析验证。基于这一方法,对著名的NS协议(简化版)建模,来分析验证与时间相关的安全属性。然后利用CPN Tools,采用CPN ML语言编写查询函数验证协议的AUT性质,从而发现协议的漏洞。应用分析结果表明方法有效,且操作简单容易理解。     

C#网络编程之八——编写基于SMTP网络应用程序

SMTD协议是Simple Mail Transfer Protocol(简单邮件传输协议)的简称,SMTP协议和POP3协议互为姐妹协议,这二个协议都和互联网上使用最广泛的Email(电子邮件)有着密切的关系。发送电子邮件使用的是SMTP协议,接收电子邮件使用的是POP3协议。SMTP协议其实是一种客户端/服务器协议。它定义了一套基于文本的内容命令,用于客户     

基于层次CPN的OpenFlow建模研究

CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。     

基于AUML与GPN的Agent交互协议建模

本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。     

一种适于带时间戳安全协议的形式化分析方法

提出了一种适用于带有时间戳的安全协议的有色Petri（CPN）形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPN ML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分析结果表明该方法有效,且操作简单容易理解。     

基于Petri网的密码协议形式化建模

密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly方法生成攻击路径。采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式。     

基于ASK-CTL的有色Petri网模型检验算法研究

针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。     

CPN原理及其在人工智能中的应用

Petri网理论是由联邦德国的Carl Adam Petri于１９９２年在其博士论文中提出的一种建模方法。最初的网理论称为条件／事件网（ＣＥ－nets).在随后的几年中,人们对新的网模型、网的基本概念有分析方法等进行了大量的研究。其中最有影响的是位置／变迁网（PT－nets),PT-nets后来命名为Petri网（Petri Net)。这些早期的网模型在理论上都归结为基本网（EN－nets)。这些早期的网模型在理论上都归结为基本网（EN－nets)。研究者通过对PT－nets进行了扩展,在风中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求,并在此基础上形成了比CE－nets和PT－nets更加通过化的高级网（High-level Nets)理论。最早的高级网是谓词／变迁网（PrT-nets),此后又产生了广义随机Petri网（GSPN）、着色Petri网（CPN）等较有影响的建模方法。CPN是由丹麦的Jensen Kurt于1981年在Petri网基础上定义的一种高级网系统。CPN理论不仅在描述系统静态模型方面进行了完备的形式化定义,例如支持在网模型中标记（token)的类型定义、模型的全程时钟、建立分层子模型等,而且对系统模拟的动态行为的仿真分析也具有形式化定义和描述。此外在Linux、Solaris和MacOS等多种平台上都有CPN的建模分析工具。利用CPN的建模工具,可以建立描述系统的CPN静态模型,还可以对系统模型的动态行为进行仿真,分析系统的分布、并发、同步异步等特性,以及建立系统模型的状态空间并分析系统模型中的活性问题、可达性问题等。     

基于CPN的联锁进路控制建模及验证

颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。     

基于RS与CPN的电力系统输电线路故障诊断

根据电力系统输电线路网络模型结构的特点,建立基于粗糙集（Rough Sets,RS）与有色Petri网（Coloured Petri Net,CPN）相结合的电网故障诊断模型。RS可在保留关键信息的前提下,对提取的故障信息进行约减并求得知识的最小表达,利用CPN对电力线路的结线分析功能建立CPN的电网故障诊断模型。通过实例验证表明本文提出的诊断模型的快速性和简便性,2种方法的结合不仅提高了故障诊断的通用性,而且降低了复杂故障的诊断难度。     

基于时序CPN的交叉路口车辆控制模型

对比经典Petri网模型，提出了基于时序CPN的交叉路口车辆控制模型，从时间和空间上对车辆的流通进行描述。使用CPN Tools建立时序CPN模型并进行仿真，模拟了交叉路口的车辆交通过程，实验结果证明该模型很好的反映了车辆流通时的时间和位置信息等动态特征。     

用C#．NET实现电子邮件客户程序

通过C#这种ViSualSTudio．NET中新引入的面向对象且类型安全的编程语言，在．NET平台上开发电子邮件客户程序．通过套接字编程实现网络通信连接，阐述SMTP(简单邮件传输协议)和POP3(邮局协议)的工作原理，然后具体讲解了根据SMTP协议开发电子邮件客户端的邮件发送程序，根据POP3协议开发电子邮件客户端的邮件接收程序。     

基于SMTP的无线数据传输系统设计

本文详细介绍了基于SMTP（Simple Mail Transfer Protocol,简单邮件传输协议）的无线数据传输系统的实现方法,该系统利用ARM7微处理器LPC2114和WAVECOM公司的GSM/GPRS无线模块Q2406来实现数据无线传输.本系统首先通过LPC2114发送AT命令控制GSM/GPRS模块建立GPRS（General Packet Radio Service）连接,在GPRS数据通道建立后,再通过SMTP作为数据传输的载体,将数据以电子邮件的形式传送给指定的邮箱.     

基于有色Petri网的自动化物流系统的研究

针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。     

基于Pareto多目标优化的工业传感网路由协议研究

工业传感网通常包含实时性和可靠性在内的多个性能指标,因此需要应用多目标优化方法设计路由算法,以满足性能需求。在收集树协议CTP的基础上进行改进,提出了基于Pareto多目标优化的路由协议TCTP。该协议首先在单跳链路质量评估中,增加单跳节点传输时延性能指标。然后运用Parcto原理通过路由拓扑建立了多路径路由,并基于数据传输的实时性和可靠性指标,选择多路径路由。最后使用有色Petri网对TCTP进行了形式化建模并利用CPN Tools工具进行了实现和验证。与CTP协议相比,TCTP协议不仅在选择传输路径上具有更强的适用性和灵活性,而且满足了工业上实时、可靠等多目标传输性能的需求。     

侃侃Foxmail

和其他电子邮件管理软件一样,Foxmail 也是使用 SMTP(简单邮件传输协议,用来传输电子邮件)和 POP3(邮局协议3,用来接收电子邮件)协议和远程电子邮件服务器通讯来收发电子邮件。它是用 Delphi 开发的基于Winsock 的 TCP/IP 网络通讯应用程序,可以说是电子邮件服务器的客户端。所以在用它之前,你必须保证你的电脑能够正常的和网络相连(局域网或者 Internet)。     

小辞典

POP3(Post Office Protocol 3)即邮局协议的第3个版本,它是互联网电子邮件的第一个离线协议标准,允许用户从服务器上把邮件存储到本地主机上,同时删除保存在邮件服务器上的邮件,而POP3 服务器则是遵循POP3协议的接收邮件服务器,用于接收电子邮件。