软件工程师兼职协议（共11篇）
篇1：软件工程师兼职协议
甲方（用人单位）名称：
性质：
地址：
电话：
乙方（劳动者）姓名： 李×××软件工程有限公司 软 件 开 发 福州市××区××大厦 0591－××××××××
明 性别： 男
文化程度：大学本科年龄：23 住址： 福建农林大学南区1＃×××
身份证：35××××××××××××
依据《中华人民共合国劳动法》，甲乙双方经平等协商同意，自愿签订该兼职协议书，并
共同意协议书中所有条款。兼职协议书生效日为 2007 年 5 月 14 日，乙方在甲方兼职期间，均应遵守本协 议书，直至兼职停止为止。乙方同意根据甲方工作需要，担任软件工程师的职位。乙方兼职时间自由，但必需完成甲方规定的工作量，并达到规定的质量标准。乙方为兼职工程师，兼职时间自由，甲方如果由于工作需要，经和乙方协商可
以延长工作时间。但延长时间每日不得超过 1 小时，因特殊需要延长工作时间 的，在保障乙方身体健康的条件下延长工作时间每日不得超过 3 小时。
甲方延长乙方工作时间，应安排乙方同等时间休息或依照《劳动法》支付加班 加点工资。
为了让乙方更快的适应工作，甲方有对乙方进行培训的权利，但培训需为免费。甲方为乙方提供必要的工作条件和技术支持，并保证工作过程的符合生产安
全、劳动保护、卫生健康等规定。
甲乙双方要按国家和省市社会保障的有关规定交纳社会保险费用。
甲方的工资分配应遵循按劳分配原则。如乙方完成工作任务且成绩显著，将可
与同岗位固定工程师享有同等工资待遇及奖金，甲方将在规定时间，按时发放 相应地报酬。
乙方应保质保量地完成甲方交付地工作，并在规定时间上交。
乙方在接到甲方工作以后，乙方中途不得以任何理由罢工或放弃，凡是有此
行为地，甲方有权拒付乙方任何报酬。
乙方应遵守甲方依法规定的规章制度；爱护甲方的财产，遵守职业道德，保护 甲方的机密；乙方应服从甲方领导，听从指挥，认真进行培训，团结协作，努 力完成岗位工作和软件开发任务。
乙方违反兼职纪律，甲方可依据本单位规章制度，给予纪律处分，直至解除本
合同。
订立本兼职协议书所依据的法律、行政法规、规章制度发生变化，本协议书应
变更相关内容。
订立本协议书所依据的客观情况发生重大变化，致使本协议书无法履行的，经 甲乙双方协商同意，可以变更本协议书相关内容。
经加以双方协商一致，本协议书可以解除。
乙方有下列情况之一，甲方可以解除本协议：
1.不能胜任工作，经过培训，仍不能胜任工作的；
2.严重违反兼职纪律或甲方的规章制度的；
3.严重失职，营私舞弊，泄漏甲方机密，对甲方利益造成重大损害的；
4.被依法追究刑事责任的。
甲方有以下情况之一，乙方可以解除本协议：
1.在试用期内地；
2.甲方以暴力，威胁或者非法限制人身自由地手段强迫工作地；
3.甲方未按协议书约定支付报酬或者提供工作条件地。
甲方违反本协议书有关条款或无正当理由在协议书录用期内辞退乙方的，按乙
方实际经济损失给予适当赔偿；乙方违反本协议书有关条款为乙方造成经济损 失的，甲方可给予经济制裁或辞退。如属双方过错，由双方分别承担各自应负 法律责任。
因不可抗力造成不能履行该协议书或者造成一方损害的，可不承担法律责任。加以双方任何一方违反协议书时，应向对方支付违约金××××元。
甲乙双方在履行本协议书时，接受劳动行政部门监督检查。双方履行协议书发 生争议时协商解决；协商不成由本公司协调委员会调解；调解无效由劳动仲裁 机关仲裁。
本协议书未尽事宜或有关条款与国家、省市规定相抵触时，按国家和省市规定
执行。
本协议书一式二份，甲乙双方各执一份。
甲方：（盖章）×××软件工程有限公司
代表人： 黄 亮
2007 年 5 月 15 日
乙方：（盖章）
代表人： 周李 兴明
2007 年 5 月 15 日
鉴定机关： 福州市劳动仲裁机关
鉴定人： 陈 强
篇2：软件工程师兼职协议
一、数据库软件工程师
1、计算机相关专业本科以上学历，具有扎实的计算机基础理论知识；
2、要求精通主流数据库Oracle/SQL Server等一种或多种关系型数据库，能编写存储过程，掌握数据库结构设计和编程；
3、精通C/C++等一种或多种高级语言；
4、具备良好的表达和沟通能力出色的数据综合和分析能力，有相关数据分析工作经验者优先。
二、VBA软件工程师
5、计算机相关专业本科以上学历，具有扎实的计算机基础理论知识；
6、要求精通VB/C++编程，有VBA及对象化软件开发经验多年经验，有高超的逻辑判断能力；
7、熟练运用Excel软件，精通Excel报表制作，对Excel宏语言有深入的了解；
8、具备良好的表达和沟通能力出色的数据综合和分析能力，有相关数据分析工作经验者优先。
以上两个职位可以兼职或全职，要求有充足的时间从事软件开发，有能力迅速的理解新需求，并把新的数据分析需求和新的计算需求快速的编写融入到既有程序中。
要求开发经验丰富，能够独当一面。
待遇优厚
工作地点：杭州
可发简历至chunqiu@vip.163.com，也可直接来电咨询。
联系电话：0571-88999582
联系人：方小姐
篇3：软件工程师兼职协议
RIP(route information protocol)协议是基于V-D算法的内部动态路由协议。目前RIP协议被大多数IP路由器广泛使用,在中小型网络环境中RIP仍然占据着重要地位。在软件路由器的设计和实现过程中,为了动态生成路由表以完成其转发功能,结合RIP的主要机制对其进行了软件实现。
1 路由信息协议的工作原理
路由信息协议是互联网工程任务组(IETF)的内部网关协议工作组为IP网络专门设计的路由协议,它是基于距离向量算法来进行实现的。每个运行RIP的路由器都维护着一张RIP路由表,以图1所示网络结构为基础,软件路由器G1(装有两块网卡)的路由表内容如表1所示。
其中接口表项表示转发数据包时从路由器哪一个线卡口发送出去,距离表示目的网络与当前路由器的距离,标志1表示当前路由表项是否在路由过程中修改过,标志2表示当前路由表项的信息是从哪一个线卡口获得的路由信息,定时器表示当前路由表项的生存时间,某些路由表项的意义在下面的小节中将会作较为详细的叙述。
2 路由信息协议的设计
路由信息协议中:
① 距离:到目的网络的距离值;
② 系统:指示路由项中所使用的协议系列,这里应为2,即TCP/IP;
③ 网络地址:目的网络地址。RIP给这个字段已分配了14个字节,可用于任何协议;
RIP2报文为了克服版本1的某些缺点,增加了特有的一些属性:
④ 路由标记:外部路由标记。此字段用来使RIP能够从域间路由选择协议中接收信息;
⑤ 子网掩码:为了适应无分类编址和CIDR,增加了此字段;
⑥ 下一跳地址:到达目的网络的下一个路由器地址。
实现RIP的主要机制有:
(1)距离向量算法
距离向量算法的思想很简单,即所有参加路由信息协议的路由器周期性地向外广播路由报文,主要内容由路由表项组成。在设计时,每个软件路由器所保存的路由信息必须具有健全的格式,因此结合RIP协议的报文格式和真实路由表的格式,设计了如下的路由表项格式,如表2所示,仅通过相邻路由器间交换路由信息是可以维护整个系统的最佳路由的。
① 目的网络地址:报文要到达的目的网络;
② 子网掩码:目的网络的子网掩码;
③ 下一跳地址:到目的网络的下一个路由器地址;
④ 接口:到达下一跳路由器地址所需的发送接口;
⑤ 距离:本软件路由器到达目的网络的开销;
⑥ 定时器:路由项最后一次被修改的时间;
⑦ 标记1:记录该路由表项是否被修改过;
· 标记2:记录用于修改路由表项的信息是从哪个端口得到的。
令D(i,j)代表从实体i到实体j的最佳路由距离值,d(i,j)代表从i直接到j的开销,因为开销是可加的,算法中最佳路由如此表示:
D(i,i)=0, 对所有的i;
D(i,j)=MIN[d(i,j)+D(k,j)],当i不等于k时;
实体i从相邻路由器k收到k到j的开销的估计D(i,j),i将D(i,j)加上i到k的开销估计d(i,j),i比较从所有相邻路由器得到的数值,取得最小数,就得到了它到j的最佳路由,其具体过程如下:
首先,软件路由器启动时,先获得由直接相接的网络所组成的静态路由表,然后,软件路由器向外广播其路由表内容,与某软件路由器直接相连的软件路由器收到RIP报文后,根据此报文对本地路由表进行更新。更新时,软件路由器逐项检查来自相邻软件路由器的报文,遇到下述表目之一,须修改本地路由表(假设软件路由器Gi收到软件路由器Gj的报文):
若Gj列出的表目中Gi路由表中没有,则Gi路由表中须增加相应表目,其目的网络是Gj表目中的目的网络,其下一路由器为Gj,距离值加1。
若Gj去往的目的网络的距离值比Gi去往网络的距离减1还小。这种情况说明,Gi去往此网络若经过Gj,距离会更短。则Gi修改本表目,其中目的网络不变,距离值为Gj表目中距离加1,下一跳为Gj。
若Gi去往目的网络的路由经过Gj,而Gj去往该网络的路由发生变化,分两种情况:
① Gj的路由表不再包含去往此网络的路由,则Gi从路由表中删除相应路由。
② Gj的路由表中去往某网络的路由距离发生变化,则Gi中相应表目距离值须修改,以Gj中的距离值加1取代原来的距离。
(2)对相同路由距离值的处理
采用先入为主的原则,即采用当前的路由。
(3)对过时路由的处理
在实际实现中,根据RIP的机制,所有软件路由器对其路由表中的每一表项都设置一个定时器,每增加一个新表项,就相应设置一个新的定时器。在收到RIP报文中假如有关于此路由的表项,则将时钟清零,重新计时。假如在规定时间内,一直未收到该路由的刷新信息,定时期满,则将该路由从路由表中删除。如果到指定的网络有其它路由,则新的路由将从进一步收到的定时刷新报文中获得,否则去往原网络的路由不存在。
(4)对路由环的处理
① 水平分割:当软件路由器从某个网络接口发送RIP路由刷新报文时,其中不包含从该接口获取的路由信息;
② 毒性逆转:某路径崩溃后,最早广播此路由的软件路由器将原路由继续保留在若干报文中,但指明该路由的距离值为16;
③ 触发刷新:一旦检测到路由崩溃,立即广播路由刷新报文,而不等到下一刷新周期;
3 路由信息协议的软件实现
为了以软件形式在PC上模拟路由信息协议的实现,特别结合项目背景进行了实现,主要是以双网卡电脑为平台,模拟RIP2的实现,其主要的实验环境如图3所示。
其中软件路由器1和软件路由器2都装有双网卡,在实现前必须将由PC3和PC4组成的网络内所有主机的默认网关设置为某一个软件路由器的IP地址。而PC1和PC2组成的网络的默认网关要设置成软件路由器1的IP地址;同样PC5和PC6组成的网络的默认网关要设置成软件路由器2的IP地址。通过对路由信息协议的分析,我们设计了如下的模块功能图,并且进行了实现,如图4所示。
各模块功能如下:
初始化模块:负责相关数据结构的初始化工作,包括原始路由表等信息,为路由表的修改提供信息;
发送模块:负责根据本地路由表的内容,每隔一定时间(一般为30 s)向网络广播发送路由消息,该模块在单独的线程中运行;
接收模块:在指定端口负责接收来自于网络的路由广播消息,并把非本机自己发送的消息交由处理模块处理。该模块在单独的线程中运行;
处理模块:对于从接收模块得到的路由消息,执行距离向量算法对路由表进行更新,该模块可以与接收模块放在同一线程中,也可以单独开辟另外的线程;
查询模块:该模块不属于RIP协议实现的一部分。设置该模块是为方便随时检查程序的运行情况,通过该查询模块可以显示路由表,增加、删除路由项,从而可以检验上面3个模块的运行情况。该查询模块可以设在程序主线程中。
综合可知,整个的处理流程如下,如图5。
图3中的网络关系可以简化为,如图6所示。
在这个模拟环境中,两个装有双网卡的软件路由器就充当了真实的路由器,在软件路由器上分别运行RIP实现软件后,其原始路由表为如下的形式,如表3,表4所示。
在RIP软件启动后,两个软件路由器都开始将原始路由表的内容向所连接的网络进行广播,例如软件路由器2开始将自己的路由表项向网络192.168.2.0广播,当软件路由器1接收到此RIP数据包后,转入数据处理模块进行处理并对路由表进行更新操作。例如软件路由器2接收到到达192.168.3.0的信息后,与自己的路由表进行对比,发现没有此表项,因此生成到达192.168.3.0的新路由表项,并且下一跳地址为192.168.2.0,距离值为1。
下面是通过检查程序运行结果得到的最终路由表,如表5所示。
通过与实验的网络环境比较,可以发现通过在软件路由器上软件实现RIP,其运行结果与真实的网络环境是一致的,从而证明了路由信息协议实现的正确性。
4 总结
由于距离向量协议本身所具有的无法克服的缺陷,虽然我们采用了触发更新,更新抑制,水平分割等技术以改进RIP2协议收敛慢和可能形成环路等问题,但是还存在许多可以改进的地方。具体的说,可以改善的方面如下:
(1)修正路由报文的更新时间,避免由于固定周期更新报文出现的同步性;
(2)采用确认更新传输技术来代替周期性更新报文所带来的带宽问题;
(3)采用支持多种度量制式来更正确的表示链路的开销;
(4)彻底解决环路问题。
参考文献
[1]Kohler E,Morris R,Chen Benjie,et al.The click modular router.ACMTransactions on Computer Systems,2000;18(3):263—297
[2]Paxson V,Mahda V I J,ADams A,et al.An architecture for large scale Internet measurement.IEEE Communications,1998;36(8):48—54
[3]Hedrick C.Routing Information Protocol.RFC1058,http://www.rfceditor.org
[4]Manlkin G.RIP Version2Protocol Analysis.RFC1721,http://wwwrfceditor.org
[5]刘文涛.网络安全开发包详解.北京:电子工业出版社,2005
篇4：软件工程师兼职协议
中标软件有限公司是国内著名的自主操作系统产品专业化研发与推广企业，以操作系统技术为核心，重点打造自主可控、安全可靠等差异化特性。作为国家规划布局内软件企业，获得了军、民两方面的相关企业与产品资质。
作为全球知名外资IT终端解决方案供应商，戴尔长期致力于满足用户对日益攀升的IT性能和网络安全的访问需求，为消费者提供更方便、更安全、更多样的产品和服务。戴尔创新的解决方案旨在简化并丰富人们日常工作和生活，让科技更便捷。
中标软件市场及公共关系总监李震宁表示：“中标麒麟（NeoKylin）作为中国自主研发的操作系统首要品牌，为中国市场提供安全和值得信赖的自主可控操作系统产品。戴尔作为国际化的终端用户解决方案提供商，长期为用户提供安全可靠的产品和服务。共同的使命让我们走到一起，我们非常乐于与此类国际化品牌建立强强联合的战略合作伙伴关系，共同为中国企业和用户在信息化领域提供更丰富的选择。”
戴尔大中华区产品市场总监林浩表示：“戴尔非常荣幸能与中国本土操作系统的领军企业中标软件有限公司达成合作意向，为中国用户提供安全易用、管理性强并值得信赖的终端用户产品及解决方案。戴尔一贯珍视与各合作伙伴的合作与共赢，此次签约充分证明了戴尔为用户着想，实现与商业合作伙伴共赢的理念。”
篇5：监理工程师兼职挂靠协议
甲方（单位）：
地址:邮政编码：
乙方（执业资格持有者）姓名：
身份证号码：□□□□□□□□□□□□□□□□□□ 家庭住址:邮政编码：□□□□□□
户籍所在地：邮政编码：□□□□□□
联系方式：（固定电话）（移动电话）紧急联系人：联系电话：
甲方聘用乙方为甲方劳动合同制职工，甲、乙双方本着自愿、平等的原则，经协商一致，特签订本合同，以便共同遵守。
一、聘用期：甲方聘用乙方的期限年。即从20年月日到20年月日止。
二、乙方应于签订合同时向甲方提供以下证件及文件（未注明复印件的为原件），并保证所有证书的真实性：
1、执业资格证书(原件)、学历证书（原件）、职称证书（原件）和身份证（复印件）；
2、变更注册还需要提供注册证书（原件）、注册印章（原件）及原注册单位的解聘证明（原件）、同意变更注册单位证明（原件）、执业道德证明（原件）；
3、其他注册所需的资料；
4、一寸、二寸彩色相片各5张。
三、聘用工资：甲方聘用乙方每年费用为人民币__（￥：元）。甲方在收到乙方提供的证件和文件后于当日递交到当地建设主管部门（省建设厅）受理，经建设部通过公示后一次性支付乙方一年费用人民币（￥：元）。因甲方原因注册不成功，甲方向乙方支付贰个月的注册津贴，本协议终止。以后每年的聘用工资应提前一月支付。
四、甲方安排乙方从事 顾问监理 工作。甲方在完成注册监理工程师注册后，甲方应及时将乙方的学历证书、职称证书、原执业印章原件交还给乙方。协议期间，乙方的执业资格证书、注册证书原件由甲方保管。
五、聘用期间，乙方应遵守国家法律、法规和执业资格管理办法规定，按时参加相关的继续教育培训。教育培训费及差旅费由甲方承担。
六、在甲方办理资质年检及建设行政主管部门的检查时，甲方提前通知乙方，为乙方提供旅差及食宿等费用，乙方应无偿配合甲方及时提供相关证件，如因乙方不提供相关证明文件造成甲方资质年检不能通过的或资质降级或资质吊销的，乙方退还当年聘用工资，并赔偿甲方两倍的聘用工资。
七、甲方应保证乙方延续注册的及时、有效，并在《注册监理工程师执业资格证书》上登记聘用期间的执业情况。
八、工作时间
乙方担任的工作为顾问监理师，工作时间及形式较为灵活。无需按照8小时工作制执行。
九、解聘：合同期满，甲方应提前一个月为乙方出具解聘证明、职业道德证明等有关变更注册证明，方便乙方今后办理变更手续。
十、违约责任：
1.如因甲方原因，造成乙方在聘用期满后无法将注册监理工程师资格注销
或变更注册到其他公司，甲方应向乙方支付违约金，违约金额按人民币100元/日计算，自本合同期满之第二日起算至实际协助乙方办理注销或变更注册之日止。
2.如因甲方原因发生乙方的证件或执业印章丢失，甲方应负责为乙方挂失
和补办，费用由甲方承担。如无法挂失和补办的证件，乙方有权单方解除合同，并应当书面通知甲方，甲方应在接到书面通知之日起5日内支付赔偿金，赔偿金额为30000元（大写）：叁万元整。
3.乙方应在本合同期满后才可以注销或变更注册，如果乙方要求提前中止
合同，则乙方应退还甲方未到期聘用工资，不足一个月按一个月算，且赔付甲方违约金人民币30000元（大写）：叁万元整。
4.如因甲方的原因导致本合同不能继续履行，乙方无需返还甲方所付聘用
工资；如因乙方不可预料的原因造成注册不成功的，乙方退回甲方所有
聘用工资；如果是乙方可预见性原因或蓄意造成的注册不成功，乙方应退还及赔偿甲方两倍的聘用工资。甲方将保留追究乙方责任的权利。
十一、续聘：本合同期满，如果双方有意签订续聘合同，应当在合同到期前3个月通知对方，具体条件由双方另行商议。
十二、本合同一式两份。双方各执壹份，具同等法律效力。
十三、本合同所指金额均为税后金额，如本合同发生缴税情况，均由甲方承担。
甲方：（盖章）乙方：
法定代表人：（签字）
篇6：爆破工程技术人员兼职协议书
四川凯达化工有限公司（以下简称“公司”）成立后，原泸州市江阳化工厂、泸州发展民爆炸药有限公司、泸州横江化工有限公司和四川南红化工有限公司分别成为下属分公司（即四个生产基地）。
公司现有在册职工521人，其中工程专业技术人员86人，占总人数的16.3；公司中经省市级政府专门机构培训合格的安全生产管理人员15人；经培训合格的特种作业人员59人。
公司生产性总用地面积为35万平方米。现有炸药生产线五条，技改在建炸药生产线两条。批准炸药生产品种三类：即改型铰油炸药、膨化硝铵炸药和乳化炸药（胶状）。批准年生产量总计为54000吨，其中改型铵油炸药19000吨，膨化硝铰炸药15000吨，乳化炸药（胶状）20000吨（民用爆炸物品生产许可证mb生许证字［041］号）。
公司按照《中华人民共和国公司法》制定了《四川凯达化工有限公司章程》，公司管理机构较健全，建立了董事会、监事会和财务委员会，设立公司党委和工会。公司设立董事长、总经理一名、副总经理四名、总经理助理一名；设立公司职能处室八个，即：行政办公室、物资供应处、产品销售公司、安全环境保卫处、生产计划处、技术设备质量处、财务处、汽车运输队。公司实行集中调度紧联接指挥生产和产品销售。统一核算、分级管理模式。
公司建立了一整套行之有效的规章制度，不断地规范公司的生产经营活动。公司的安全主体责任认识明确，建立了公司安全（防火）委员会，各分公司也相应建立了安全领导组，设立了安全办公室，配备了专职安全管理人员，制定了《应急救援预案》，按有关规定提取和使用专项安措经费。
公司为不断提高企业管理水平和本质安全水平，坚持严格安全管理，坚持安全投入和技术进步，不断地进行安全技术改造，引进新技术新设备，从而使企业在生产效率逐步提高的同时，做到了均衡生产和安全生产。
联系人：张富贵（经理）
篇7：劳务协议兼职协议
甲方：_______________________ 乙方：________________________
身份证：_______________________ 联系地址：
根据《中华人民共和国民法通则》、《中华人民共和国合同法》和有关规定，甲乙双方经平等协商一致，自愿签订本协议，共同遵守本协议所列条款。
一、协议期限
自_____年_____月_____日起，至______年_____月_____日终止。
二、工作内容及工作要求
乙方雇佣期间的所在部门为____________, 岗位为___________。乙方主要工作内容为：
三、劳务报酬
甲方支付乙方每日人民币 元的劳务报酬。
甲方根据乙方每月实际工作情况，按月结算乙方劳务报酬，并于每月 日支付当月劳务报酬。
四、双方权利义务
1、乙方负有保守甲方商业秘密或工作秘密的义务。
2、甲方有权根据实际需求安排乙方工作；
3、乙方可自由安排工作时间、工作地点；
4、甲方提供乙方必要办公设施，如办公桌、电脑等。
五、乙方保证及承诺
（一）乙方保证服从甲方工作安排，并及时完成工作任务。
（二）鉴于甲乙双方为劳务关系，乙方认可并明确：
1、雇佣期间甲方无需承担乙方的社会保障福利的费用，无需缴纳乙方的社保与公积金；
2、乙方在甲方工作期间如乙方患病或因工作原因负伤的，所有医疗费用均由乙方自行承担，乙方医疗期间甲方不支付乙方劳务报酬。
六、协议的解除
（一）经双方协商一致，可随时解除本协议。
（二）乙方有下列情形之一，甲方可以立即解除本协议，如乙方的行为对甲方造成损害的，甲方可依法追究乙方的法律责任：
1、乙方违反保密义务的；
2、乙方违反诚实信用原则，违背承诺的；
3、乙方未能合理、正当履行本协议的；
（三）甲、乙双方均可单方面解除本协议，但需提前__7___天书面通知对方。
七、协议的终止
有下列情形之一的，本协议终止：
1、协议期满；
2、乙方在工作期间工作期间因患病、负伤或其他原因导致乙方不能继续提供劳务的，本协议终止。
八、工作交接
本协议终止、解除后，乙方应在__3___天内办理工作交接。
九、双方约定的其他内容：
1、甲方与乙方发生由本协议的执行发生争议，双方协商解决，协商不成由甲方所在地人民法院管辖。
2、若乙方在甲方执业的，在职业过程中，如发生医疗责任事故或民事纠纷，甲乙双方承担责任的比例为：甲方承担50%责任，乙方承担50%责任。
十、其他事项
本协议经甲、乙双方签字生效。
甲方：
日期： 乙方：
篇8：软件工程师兼职协议
关键词：安全协议,计算模型,CryptoVerif
0 引言
安全协议是通信主体利用约定的流程序列交换消息, 并利用密码体制加密被交换消息, 以保证实现预定的安全目标:秘密性和认证性。为了实现安全性, 需要对协议进行验证。对协议验证主要使用两种方法:手工验证和形式化软件验证。手工验证繁琐易出错, 局限于验证者的个人能力, 且难以推广;形式化软件验证主要基于两种模型:Delve-Yao模型和计算模型。Delve-Yao模型把密码体制黑盒化, 通过验证消息序列来证明协议安全性;计算模型把协议里的消息作为字符串, 把攻击者对协议的攻击以对消息字符串的函数运算表示, 通过各操作的概率来表示协议安全性。
本文将介绍基于计算模型的协议验证软件CryptoVerif, 与其它软件不同, 不仅可以验证协议, 也可以验证密码算法。
1 CryptoVerif原理
CryptoVerif建立在计算模型上, 协议以概率多项式时间的进程代数表示, 消息用位串表示, 加密算法表示为位串的函数, 通过对特定事件 (event) 的到达和参数的询问 (query) 来证明安全属性。CryptoVerif使用Spi演算, 把协议表示为Spi演算下的进程;使用Game序列来形式化验证过程:协议作为初始Game, 通过一系列转换操作为安全性可容易识别的最终Game。Game转换以计算密码学下的观察等价 (Observational Equivalence) 概念为基础, 观察等价是CryptoVerif的核心。
1.1 CryptoVerif语法 (语法用图一起表示, 原稿是单独表示)
CryptoVerif利用改进的Spi演算表达协议:用项 (term) 来表示参数、密码体制、函数, 用进程 (process) 来表示协议主体行为, 并分为输入进程和输出进程, 并把参数存入数组中方便操作, 具体语法如下所示, 其中M、N表示项, Q表示输入进程, P表示输出进程。
1.2 观察等价
CryptoVerif进行协议证明有两个基础:密码原语安全性和观察等价。密码原语安全性是CryptoVerif证明的标准, 是密码原语的进程代数表示;观察等价是进行Game转换的基础, 它是用概率来表示的, 通过严格的数学性来证明其正确性。
观察等价涉及评价环境 (evaluation context) 概念。环境 (context) 是一个可引入参数的空进程 (与0输入空进程不同) , 评价环境则是引入了通道、进程组合的环境。CryptoVerif以评价环境来表示攻击者。 (下边的观察等价定义改变)
观察等价的定义如下:Q和Q`为两个进程, V表示两进程变量集合, 称Q和Q`在变量集V下是观察等价的, 对任一Q, Q`, V可接受的评价环境S, 对任一通道c和位串undefined是可忽略的。
1.3 Game转换规则
CryptoVerif里的Game转换基于Spi演算的3个属性:只一次定义、使用前定义和类型化。前两者是自明的;Spi里参数类型化, 确定参数的功能和防止类型攻击。
Game转换规则有3个, 分别论述如下:①项赋值删除:当项以赋值的方式被定义时, 用值来替换赋值定义;②项重命名:重命名是为了保证每个项在进程里名称唯一;③简化:依据Spi演算的不变性和观察等价概念, 把一些复杂的项和进程用简单形式来替换。有两种类型的简化:等式简化和依赖于随机值低碰撞概率简化。
1.4 CryptoVerif可证明的安全性
CryptoVerif可证明的安全属性包括秘密性和认证性, 秘密性用密码体制的安全性表示, 认证性用协议里的事件映射表示。
1.4.1 秘密性 (表述改变)
CryptoVerif可证明的秘密性分两种:会话秘密性和秘密性。
会话秘密性 (One-session secrecy) 。满足会话秘密性的协议, 攻击者不能区分开输出秘密值的进程和输出随机数的进程。
秘密性 (Secrecy) 。满足秘密性的协议, 攻击者不能区分多次输出相同秘密值的进程和输出独立随机数的进程, 是比会话秘密性更强的属性。
1.4.2 认证性 (表述改变)
CryptoVerif使用单射和非单射的对应来证明认证性。当两事件满足单射时, 可证明其认证性;反之, 则不能证明。
2 CryptoVerif使用
经过上边的讨论, 我们利用CryptoVerif来证明一个简单协议的秘密性。该协议描述如下:发送方A和接收方B共享加密密钥Kab和消息认证密钥Mab, 在两者间传递临时会话密钥Kab’。我们利用CryptoVerif验证Kab和Kab’的两类秘密性。
在CryptoVerif里, 我们用询问query来标示待验证秘密性, 用k2表示Kab, k3表示Kab’, 如下所示:
query secret1 k2.
query secret1 k3.
query secret k2.
query secret k3.
在CryptoVerif里, processA为输入进程, processB为输出进程, process表示待验证协议, 如下所示:
运行CryptoVerif结果如下, 可以发现, 本协议的共享密钥的秘密性和会话秘密性是可证明的, 只能证明临时会话密钥的会话秘密性, 这是与现实情况相符的。
同时, 对协议分析结果可以更进一步分析, 可以通过分析结果里的各个协议组成部分的概率表示, 计算性地表明协议的潜在脆弱点。
3 CryptoVerif的使用现状和不足
CryptoVerif主要对双方和三方协议进行分析, 使用CryptoVerfi已经对Needham-Schroeder 协议共享密钥和公钥两版本、Yahalom 协议、Kerberos5协议等进行了证明, 取得了很好的结果。
不过, CryptoVerif对涉及群组协议的分析能力不足;只能对秘密性和认证性进行验证, 不能对匿名性、不可否认性和公平性等安全属性进行验证。在目前基础之上, 作者将对其他安全性在CryptoVerif里的表示和群组协议的安全性验证展开研究。
参考文献
[1]DOLEV D, YAO A.On the security of public-key protocols[J].IEEE Transaction on the Information Theory, 1983 (29) .
[2]P D LINCOLN, J C MITCHELL, M MITCHELL, et al.A probabi-listic poly-time framework for protocol analysis[C].In ACM Com-puter and Communication Security (CCS-5) :112-121.
[3]BLANCHET B.A computionally sound mechanized prover for se-curity protocols[C].In Proc.27th IEEE Symposium on Security&Privacy, 2006.
[4]J C Mitchell, A Ramanathan, A Secdrov, et al.A probabilistic poly-time calculus for the analysis of cryptographic protocols[J].Theo-retical Computer Science, 2006.
[5]赵倩倩, 李周军, 周倜.Kerberos5协议的形式化分析综述[J].计算机科学, 2009 (5) .
篇9：兼职摄影劳务协议
甲方：XX公司
_
乙方：姓名____性别____
居民身份证号码_
出生日期_年_月__ _日 _____________________________________ ______________
_______省（市）_______区（县）__________街道（乡镇）______________________________________ ______________ 电话_____________
乙方应甲方要求为其提供产品广告图片的摄影服务，根据《中华人民共和国民法通则》、《中华人民共和国合同法》和有关规定，甲乙双方经平等协商一致，自愿签订本劳务协议，共同遵守本协议所列条款。经双方共同协商达成服务协议如下：
第一条 本协议期限于_2014__年__月__日生效，至__年__月__日终止。
第二条 乙方承担的劳务内容、要求为：根据甲方届时要求完成如下产品摄影服务：1.商品（单品/组合）详情细节图；和2.商品（单品/组合）创意广告图。
甲乙双方同意，乙方为甲方提供兼职服务所完成产品（不论甲方是否就该产品为乙方支付费用）涉及的知识产权的权利均由甲方享有，乙方仅享有署名权。未经甲方事先书面同意，乙方不得将该等产品用于任何其他用途。
第三条 乙方提供产品拍摄服务方式为：乙方根据公司邮件通知并进行电话约定到指定地点取走产品样品，同时进行《产品拍摄样品签领》登记，甲方不提供拍摄相机、背景素材等物资。单品拍摄周期2天，多个产品一起取样拍摄周期5天或根据具体情况经甲方另行同意。产品样品应按公司邮件要求拍摄，每款产品样品需交付产品样片8~10张，广告片1~2张。
乙方应保证产品样品无损坏，并应在约定的拍摄时间截止后3天内交还给甲方，如果因为乙方过失造成产品样品损坏，甲方有权照价索取赔偿。
第四条 乙方认为，根据乙方目前状况，能依据本协议第二条、第三条约定的兼职服务内容、要求、方式为甲方提供兼职服务。
第五条 乙方负有保守甲方商业秘密的义务。乙方负有保护义务的商业秘密主要包括：相关产品、产品图片、信息、合同、各类资料等全部企业关联信息。
第六条 甲方支付乙方劳务报酬的标准、方式、时间：
甲方按每款产品元劳务费，甲方每月应对乙方所拍摄产品质量及数量进行邮件确认，并于月底自然日由其公司该确认后的产品数量抄送给甲方财务部作为乙方当月劳务费用的结算凭证。甲方于次月 15日把相关劳务费以银行付款的方式汇入乙方个人持有的银行卡中。
详细开户行：
卡号：
持卡人姓名：
第七条 乙方依法缴纳个人所得税，甲方依法代为扣缴。
第八条 发生下列情形之一，本协议终止：
一、本协议期满的；
二、双方就解除本协议协商一致的；
三、乙方由于健康原因不能履行本协议义务的。
第九条 甲、乙双方若单方面解除本协议，仅需提前三周通知另一方即可。
第十条 本协议终止、解除后，乙方应在三周内将有关工作向甲方移交完毕，并附书面说明，如给甲方造成损失、应予赔偿。
第十一条 本协议的性质
一、甲乙双方确认：本协议为乙方接受甲方的委托的劳务协议，并非劳动合同。在本协议期间，乙方并非隶属于甲方的员工，无需接受甲方的劳动管理。但是，乙方应按照本协议的规定切实地完成本协议规定的事务。
二、甲方无需在本协议期间为乙方缴纳劳动相关法律规定的各项社会保险及住房公积金。
三、未取得甲方的书面授权前，乙方不得以甲方的名义对外从事任何活动（包括但不限于签订合同、协议等）。
第十二条 乙方同意医疗费用自理，医疗期内甲方不支付劳务费。
第十三条 依据本协议第九条、第十条约定终止或解除本协议，双方互不支付违约金。
第十四条本协议期满前，双方可协商延长本协议或另签新的劳务协议。
第十五条 因本协议引起的或与本协议有关的任何争议，均提请北京仲裁委员会按照该会仲裁规则进行仲裁。仲裁裁决是终局的，对双方均有约束力。
第十六条 本协议首部甲、乙双方的通讯地址为双方联系的唯一固定通讯地址，若在履行本协议中双方有任何争议，甚至涉及仲裁时，该地址为双方法定地址。若其中一方通讯地址发生变化，应立即书面通知另一方，否则，造成双方联系障碍，由有过错的一方负责。
第十七条 本协议一式两份，甲乙双方各执一份。
甲方（公
篇10：兼职服务协议-企划
甲方：四川省物流产业融资担保股份有限公司
乙方：
因甲乙双方业务合作需要，乙方向甲方提供物料设计与物料选用 的兼职服务，现甲乙双方经友好协商后，就乙方向甲方提供上述服务事宜签订本协议，双方需共同遵守。
第一条协议期限
1、本协议有效期为 0.5 年，自_2013_年_9_月_27_日至_2014年_2_月_28_日止。
2、如双方愿意续签本协议的，应于本协议有效期届满之日前一个月内续签。
第二条工作内容、场所和时间
1、乙方的工作内容为：
﹝1﹞完成集团公司与分公司的物料设计及物料选用。
﹝2﹞设计制作须在规定时间内完成。
2、甲方不为乙方开展工作提供必要的工作场所和条件。
3、乙方的工作时间原则上按照甲方要求执行，以便业务的开展。
第三条服务报酬
1、在本协议有效期内，乙方的服务报酬以具体事项完成为标志予以发放。
乙方应按照甲方的制度开展业务，因业绩达成应给的服务提成，甲方应按月支付。
2、乙方应按照中国法律规定缴纳个人所得税，甲方在向乙方支付服务费时予以代扣代缴。
3、乙方每月的服务费于次月20日前支付，由甲方通过银行汇入乙方的个人帐户。
4、甲乙双方约定，除上述服务报酬外，乙方不享受甲方员工的薪金福利、社会保险待遇，甲方也不承担乙方的医疗、工伤等其它费用。
第四条工作纪律
1、乙方应遵守中国的法律法规。
2、乙方应遵守甲方的劳动纪律及甲方制定的各项规章制度。
3、乙方应严守甲方的商业秘密，维护甲方的权益。/ 3
第五条声明和保证
1、乙方保证本人提供的个人信息真实有效。
2、乙方保证此次兼职未与原用人单位存在竞业限制，未泄露原单位商业秘密。不向任何
第三方提供其根据本协议为甲方提供服务期间获取的有关甲方的任何秘密信息，并不得从事有损于甲方利益的任何行为。
第六条保守秘密
1、乙方在本协议期间或本协议终止或解除后二年内，未经甲方书面许可，不得以任何方
式向其他任何个人或公司泄露甲方或甲方关联商业实体的商业秘密（包括但不仅限于甲方的经营、管理信息），乙方亦不得将其用以与甲方进行竞争或用作乙方履行本协议规定职责和义务以外的任何其他用途，乙方必须严格遵守甲方制订的保密制度。
2、乙方在服务期间的所有与甲方业务和工作有关的记录及获得的有关资料或其他文件归
甲方所有。乙方在协议期满或离职前必须将属甲方的资料及文件交还甲方。
3、甲方的商业秘密范围
（1）甲方相关资料等；
（2）甲方发展计划等；
（3）甲方财务部门的财务信息等；
（4）甲方客户资料等；
（5）甲方人事部门的人事档案、人力资源自行开发课程、公司规章制度等；
（6）甲方内部互联网页刊载的甲方及其甲方所属集团各公司涉及商业秘密的内容。
（7）涉及商业秘密的其它内容。
（8）设计原始文件须给集团企划中心备档，严禁外传和用于其他用途。
4、乙方在协议期间或解除协议后二年，若泄露甲方秘密或因此造成甲方造成经济损失的，甲方将追究乙方的法律责任。
第七条协议解除
1、在本协议有效期间，甲乙双方任何一方拟解除本协议的，应提前一个月书面通知对方；
2、乙方有以下情形的，甲方有权随时解除本协议：
（1）乙方违反本协议第五条声明和保证条款的；
（2）乙方无正当理由或未获甲方事先同意，而未按本协议第二条、第三条、第四条、第五条之规定履行本协议的。
第八条违约责任
1、甲乙双方任何一方无正当理由违反本协议的，应承担违约责任并向守约方支付违约金
人民币 贰仟元 元（RMB 2000 元）。
2、甲乙双方任何一方无正当理由违反本协议并给另一方造成损失的，违约方除按本条第1款向对方支付违约金外，还应承担经济赔偿责任。
第九条双方需要约定的其它事项
第十条其他
1、本协议一式两份，甲乙双方各持一份，在双方签署后生效。
2、本协议的未尽事宜，双方应协商解决，并可另行签订补充协议。
3、因履行本协议发生纠纷的，双方应友好协商解决，协商不成的，可以向甲方所在地人
民法院提起诉讼。
4、本协议条款如与中国法律、法规相悖时，以中国法律、法规为准。
甲方（印章）：乙方：
地址：家庭住址：
代 表 人：身份证号：
篇11：兼职翻译聘用协议
新疆海诺仕企业管理咨询有限公司聘用 _______为兼职翻译，经双方协商，达成如下协议：
一.服务内容、方式和要求：内容：乙方按照甲方要求提供相关语种的笔译服务。
二．方式和写作.乙方承接任务后，不得延迟交稿；如有特殊情况发生，乙方估计不能按时完成工作，则应及时与甲方联系，说明原因，以便甲方作出应急安排。如乙方未经甲方书面同意而延迟交稿，甲方将不予支付报酬，并保留追究赔偿的权利。
三.质量评估.甲方应在收到乙方译稿后的三天内完成译审，通过甲方评审的稿件方可结算稿费。
2.对于口译服务，依据顾客的质量反馈评定质量。对客户的合理投诉，要追究译者责任。
3.在此次翻译中，日后如果发现所翻译的内容有误差，乙方有责任无偿重新翻译。
四.译费结算.价格：按照双方事先约定的方式和单价结算翻译费。
翻译基价： 英译中-120（元/纯中文千字）
2.甲方按照公司内部财务制度，定期支付乙方报酬。若因特殊情况（如客户拖欠翻译费
等）而延付报酬，甲方应及时向乙方发出通知并阐明原因。因特殊原因而拖欠的报酬，最迟不得超过半年时间。
五.保密义务
1.乙方一经聘为甲方的兼职译员，必须严格保守甲方的商业、技术秘密，十五年内不得
向任何第三方披露以下信息，或将以下信息用于翻译工作之外的其它用途。保密信息包括：
(1).乙方为甲方翻译的资料的内容及所属专业领域；
(2).甲方的资料来源；
(3).甲方的翻译项目和工作状况；
(4).乙方因身为甲方兼职翻译而了解或接触到的所有信息。
六.乙方就保密义务同意：.本协议的签署和向乙方提供任何保密信息均不得理解为授予乙方（无论以明示或默式，或其他形式）目前或以后对乙方所译文件或所接触到的任何知识产权、专有性质技术、商业秘密、专利权或其他专有性质的专有技术的任何权利、许可或所有权；
2.甲方可随时要求乙方归还和撤回任何保密信息（包括所有的文件、有形记录等），乙方在收到甲方要求归还该等保密信息的要求后，应立即停止使用该等保
密信息，并将该等保密信息，包括该保密信息的所有副本、复印件、传真件和任何其他有形记录全部交回甲方。
3.如乙方违反其在本协议项下的任何义务，甲方应有权从乙方获得对其因该等违约而发生的所有损失的赔偿，包括对所有后果性损失和利润损失等的赔偿。
4.保密义务不因甲、乙双方之间的合作结束而结束，保密义务在翻译工作结束或翻译合作结束后仍继续有效。
5.本协议自签定之日起生效。本协议一式两份，甲、乙双方各执一份，同等有效。
甲方：
代表人签字：
日期：年月日