一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.     

论我国政府采购发展的主要趋势

我国政府采购发展较快,但存在的问题也不少。把握我国政府采购发展的趋势,有利于完善政府采购。今后,我国政府采购主要有六大发展趋势,即政府采购法规不断完善,采购规模和范围不断扩大,政府采购政策功能不断加强,电子化政府采购不断推进,政府采购队伍素质不断提高,加入《府采购协议》势在必行。     

高校政府采购非招标采购方式的探讨

新颁布施行的《政府采购非招标采购方式管理办法》,对政府采购三种非招标采购方式从概念、适用情形、评审专家、信息发布期限、评审报告内容、采购文件内容、终止采购情形、法律责任等内容进行了详尽规定。通过对该法规内容的解读,分析了法规中存在的不足,提出了相应的建议,探讨了高校政府采购工作应如何遵循和执行新法规,从而进一步完善高校政府采购工作,使高校政府采购工作合法合规。     

政府采购协议供货制初探

本文主要阐述了在政府采购蓬勃发展的同时,协议供货制作为一种创新采购模式,在实际运用中的成效,存在的不足及进一步探讨完善策略.     

浅析政府采购供应商的救济机制

《中华人民共和国政府采购法》于2002年6月29日颁布以来,政府集中采购工作正逐步走向深入,进一步规范了政府采购操作程序,加强了财政资金监管,提高了财政资金使用效益。但是,采购当事人之间的摩擦、矛盾却日益凸显,特别是处于弱势地位的供应商,为提高采购效率,保证采购活动正常、有序进行,就要求尽快完善对他的权利救济机制。文章通过对"政府采购第一案"的关注引出了对政府采购供应商救济机制的探讨。通过比较世界贸易组织的《政府采购协议》争端解决机制和美国的政府采购救济制度,得到了对我国政府采购供应商救济机制的启发。     

论WTO《政府采购协议》的招标程序

WTO《政府采购协议》属于《建立WTO协议》附件4中诸边协议之一,虽然是自愿加入的,但考虑到我国入世时的承诺,加入仅仅是一个时间问题.因此,该协议必然对我国的政府采购体制、特别是政府投资项目的招标产生重大影响.本文分析了《政府采购协议》的原则、招标公告的发布、资格评审、投标、开标、评标、中标等程序,对完善我国的招标投标制度有借鉴意义.     

高校政府采购与招投标难点探讨与质疑投诉分析

近年来国家不断调整并出台适应时代发展的采购新政策、新法规,高校政府采购行为更加规范,采购效率得到提高。但是高校的职能也决定了其政府采购活动具有独特性。当前高校政府采购的问题主要集中在政府采购预算管理难以满足高校基础设施建设和高水平教学科研发展需要,高科技教学仪器设备技术指标复杂带来的采购需求确定上的困难及供应商诚信管理等方面。从政府采购预算管理机制和高校采购特点之间的矛盾、供应商统一信用评价体系的缺失、采购需求的复杂性和多样性、项目履约验收环节重要性被忽视和供应商质疑投诉等五个方面,探讨分析高校采购管理工作中面临的难点和挑战。     

论WTO《政府采购协议》的招标程序

WT0《政府采购协议》属于《建立WTO协议》附件4中诸边协议之一，虽然是自愿加入的，但考虑到我国入世时的承诺，加入仅仅是一个时间问题．因此，该协议必然对我国的政府采购体制、特别是政府投资项目的招标产生重大影响．本文分析了《政府采购协议》的原则、招标公告的发布、资格评审、投标、开标、评标、中标等程序，对完善我国的招标投标制度有借鉴意义．     

从博弈论的角度浅析政府采购中采购拖延现象的成因

近阶段,政府采购拖延现象在各地的政府采购活动中时有发生.采购人通过推迟采购时间,"合情合法"地改变采购方式,再通过与特定的供应商达成一致进行采购.如此一来,采购价格被人为提升,客观上降低了政府采购的效率.本文从分析鲁南某区近年来政府采购方式的变化入手,通过博弈论探究采购当事人一致选择拖延采购时间的原因,并针对该现象提出合理的解决措施.     

政府采购背景下高校图书馆图书采购的对策研究

分析了政府采购的基本特征,论述了政府采购背景下高校图书馆图书采购的政策依据和特点以及政府采购对图书采购工作产生的影响,归纳了政府采购背景下高校图书馆图书采购的几种模式,阐述了图书采购招标文件制定的原则以及图书采购计划及选书策略制定的方法.     

基于智能合约的易扩展高效去中心化跨链交易协议

针对已有的去中心化跨链交易方案存在的交易效率低、手续费开销大和难以扩展的问题,提出了基于智能合约的跨链交易协议(CCE-SC).协议采用智能合约保证了跨链交易的去中心化和安全性,通过策略制定、策略同步和区块链共识验证三大算法实现低成本且高效的跨链交易.协议中的每条链只需部署一个包含资金池模块、记录管理模块、链转发模块和汇率管理模块的智能合约,就可实现多条链间的跨链交易,解决了以往方案难以扩展的问题.通过实验测试对协议的性能进行分析,实验结果表明该协议使跨链交易效率有了较大提升,同时减少了手续费开销.     

青海省政府采购专家管理系统中专家库的抽取方法

基于青海省政府采购专家管理工作的现状,分析了专家抽取过程中存在的主要问题,将政府的监督机制和网络安全技术相结合设计了一种专家抽取方法,保证了整个政府采购过程中专家抽取的公平性。     

射频识别LMAP协议改进研究

安全问题是射频识别技术领域的重要问题,轻量级安全协议成为该技术领域研究的主流.针对轻量级相互认证协议易受克隆攻击、去同步攻击等安全隐患问题,在对原有协议分析的基础上提出了系列改进措施,即通过对原有协议增加时间戳机制、物理不可克隆函数(physical unclonable function,PUF)电路以及改进密钥的生成方式来提高协议的安全性,并利用BAN逻辑对改进协议的安全性进行形式化证明.从安全性、计算量和存储量等方面将改进协议与其他协议进行比较,结果表明,协议安全性高,计算量小,也适合标签的存储量,在射频识别领域安全方面具有一定的应用价值.     

利用构造类别代数的协议安全测试方法

针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.     

网络安全协议的一般框架及其安全性分析

分析了计算机网络中存在的安全风险,建立了网络安全协议的一般框架,讨论了网络安全协议中密码技术的安全性,指出了网络安全协议在具体实时应注意的问题。     

基于安全协议的智能灌溉系统设计

针对现有智能灌溉系统中数据交互的安全问题,设计了一种基于安全协议的智能灌溉系统.智能灌溉系统以此安全协议为核心,并设计身份认证模块、签名模块、签名验证模块,实现了安全协议.最后对智能灌溉系统进行实验与仿真,实验结果表明基于安全协议的智能灌溉系统运行效率高,在智能灌溉装置计算能力和传输能力较弱的情况下具有良好的适用性和安全性.     

基于攻击者的“角色冒充”的协议验证方法

网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的     

软交换中的一种安全策略

针对软交换中的SIP协议没有定义自身的安全机制,提出了一个可行的解决方案·简单叙述了软交换中的SIP协议的功能,特点和工作机制,并指出SIP协议中存在的安全性问题,详细分析原本为电子邮件明文的加密和签名设计的加密方法PGP(PrettyGoodPrivacy)的安全策略,加密过程,安全强度及其性能等·提出了将应用广泛、安全性高的安全策略PGP引入SIP协议中,以满足SIP消息传输中的安全要求·具体阐述了PGP在SIP协议中应用的实现方法,列举了经PGP加密的SIP邀请消息格式和用PGP数字签名的SIP消息格式·     

基于防火墙的分布安全体系结构

根据ＯＳＩ安全体系的结构,应用各种安全机制,提出一个基于防火墙的分布安全体系结构,并在此安全体系结构上,设计了一个远程端－端安全通信协诡计国议采用分层机制,应用非对称公钥体制对远程通信进行验证和密钥分配,提高了网络的安全性,有利于网络的安全管理。