基于博弈论的百万富翁协议

在经典的百万富翁协议中,一方在得到最后的财富比较结果后,没有动机将结果告诉另一方,或者告诉另一方一个错误的结果。结合博弈论和密码算法,提出一种百万富翁协议。在此协议中,参与者背离协议的收益小于遵守协议的收益,遵守协议是参与者的最优策略,任何百万富翁的欺骗行为都能被鉴别和发现,因此理性的参与者有动机发送正确的数据。最后每个参与者都能公平地得到最后的财富比较结果。     

满足可计算序贯均衡的理性公平计算

在安全多方计算中,公平性指的是被腐败的参与者可以得到他们的输出当且仅当诚实参与者得到他们的输出.当恶意者超过参与者数量一半时,公平性很难达到.因此在设计两方计算协议时,公平性经常被忽略.在传统多方计算中,包括总是遵守协议的诚实参与者,虽然遵守协议但是希望通过保留中间结果得到对方私有信息的半诚实参与者和任意偏离协议的恶意参与者.理性参与者不同于上述参与者,他们的主要目标是最大化他们的收益.理性计算是指带有理性参与者的计算,它开辟了实现两方安全计算中公平性的新思路.考虑了理性安全计算允许理性参与者具有不对称的信息的情况,例如效用函数和参与者的私有类型,这是与之前理性计算的不同之处.针对这种不同,提出了一种较强的均衡概念——可计算序贯均衡.可计算序贯均衡包括2部分:可计算序贯理性和一致性.它强于纳什均衡,可以用来实现理性两方计算中的公平性.最后构造了一个模拟器,证明了协议的安全性.     

抗合谋理性多秘密共享方案

提出了一种可抗合谋的理性多秘密共享方案。分析了成员合谋行为及防范对策,设计了可计算防合谋均衡方法,构建了预防参与者合谋的博弈模型,使得参与者所采取的策略满足可计算防合谋均衡,合谋成员不清楚当前轮是真秘密所在轮,还是检验参与者诚实度的测试轮,参与者采取合谋策略的期望收益没有遵守算法的收益大,因此,理性的参与者没有动机 合谋攻击。另外,在方案中分发者不用为参与者分配秘密份额,在秘密重构阶段,无需可信者参与,也没有利用安全多方计算。最终,每位参与者可以得到多个秘密。解决了参与者合谋问题及理性单秘密共享效率低下的问题。     

基于中国剩余定理的可验证理性秘密共享方案

针对目前理性秘密共享方案不能动态添加和删除参与者的问题,结合博弈论和密码学理论,提出一种动态理性秘密共享方案。方案基于中国剩余定理,在秘密重构过程,可以动态添加和删除参与者,另外方案采用可验证的随机函数,能检验参与者的欺骗行为。参与者不知当前轮是否是测试轮,偏离协议没有遵守协议的收益大,理性的参与者有动机遵守协议,最终每位参与者公平地得到秘密。方案不需要可信者参与,满足弹性均衡,能防止成员间的合谋攻击。     

基于理性信任模型的理性委托计算协议

传统的委托计算需要额外开销验证计算结果的正确性，导致委托计算效率较低、开销较大.针对此问题，结合博弈论与理性信任建模（rational trust modeling，简称RTM）的思想，提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数，激励计算方诚实执行协议，以此来保证计算结果的可靠性.首先，基于理性信任建模的思想构造理性信任模型，将服务器的生存周期作为效用函数的参数，设计满足委托计算参与者利益的效用函数，并分析协议中参与者的行为策略，当参与者采取“诚实”策略时，可以得到理性委托计算的纳什均衡点；其次，利用改进的NTRU （number theory research unit）公钥密码体制实现速度快、安全性高、具有抵抗量子计算攻击的能力的优点，结合Pedersen承诺方案，设计理性委托计算协议；最后，从正确性、安全性与性能这3个方面对协议进行分析，并通过实验证明生存周期对参与者效用的影响.结果表明，该协议可有效保证计算结果的可靠性.     

基于欧拉函数秘密分享的RSA私钥的理性分布计算(英文)

随着分布式计算的发展,分布式计算环境中的安全性问题变得越来越突出。基于RSA算法的分布式认证和分布式数据加密等安全性机制也取得了长足的发展。不过,这些机制中大部分是基于传统密码协议中参与者类型的假设:半诚实或恶意的。本文从假设参与者是理性的这一视角出发,设计了基于RSA欧拉函数秘密分享的RSA私钥的分布式计算协议。协议中所有的参与者均是理性的,他们以自我利益为驱动。所有的参与者均采取遵守协议的执行这一策略形成了纳什均衡,并且该策略是不能严格劣势剔除的。     

一种理性安全协议的博弈逻辑描述模型

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。     

公平理性委托计算协议

传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.本文首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向量表示技术,设计一种新的理性委托计算协议.针对协议的公平性问题,参与双方分别提交特殊构造的比特币押金,保障参与者双方的利益;针对验证复杂问题,运用Micali-Rabin的随机向量表示技术,验证过程简单高效,且不会泄漏关于计算结果的任何信息.最后,安全性和性能分析结果表明,该协议不但解决了传统委托计算的验证复杂问题,同时保证了诚实者的利益.     

基于极大熵原理的理性公平交换协议

鉴于理性交换协议是一个动态博弈模型, 在完全不完美动态博弈中, 力图用极大熵原理来解决理性参与者的策略行为推断问题。扩展了一个基于信息熵的理性交换协议模型, 通过引入期望收益函数和期望均衡的方法, 给出理性交换协议的公平性描述; 基于最大熵原理构造了一种新的理性交换协议; 证明该协议的安全性, 利用博弈树的方法对整个交换过程进行分析并给出了理性公平性证明, 结果表明该协议能达到期望均衡。协议交换过程中无须可信第三方的参与, 该协议实现了理性公平性且具有更好的适应性。     

基于Swarm平台的理性密码协议建模与仿真

针对现实世界中理性密码协议的参与者博弈过程不易观察和预测的问题,文章在多智能主体的仿真平台Swarm上对理性密码协议中参与者的诚实策略和非诚实策略行为进行了建模和仿真。文章首先定义了主体的收益矩阵,进一步根据收益矩阵建立了参与者在整个博弈过程中的状态复制方程;然后求解出该方程的三个均衡点,即所有参与者分别采用诚实策略、非诚实策略和混合策略时的不同均衡点取值,根据这三个取值设计了协议执行过程中主体间的博弈算法;最后,文章在Swarm平台上定义了博弈主体所需要的各个对象。由于Swarm平台上的基本对象功能不能完全满足理性密码协议仿真的需要,文章改造了Swarm平台上部分主体对象功能,给出了改造的关键代码,对协议交互过程中的博弈行为进行了仿真。仿真的实验结果表明,Swarm仿真工具可以有效观察到参与者的理性选择过程;并通过调节博弈算法中的收益参数来达到预期效果,使博弈在较少的次数内达到博弈的稳定均衡,同时使得选择诚实策略的参与者占总人数的一半以上。文章提出在Swarm平台上进行理性密码协议仿真的方法,对使用计算方法研究理性密码协议具有一定的参考价值。     

游戏剧本设计研究及在游戏式训练系统中的应用

游戏剧本创作,是游戏制作成功的基础。从游戏剧本的重要性入手,探讨了游戏剧本的特征及设计,并介绍了在煤矿事故救援游戏式训练系统中的剧本的应用。游戏剧本设计研究对有志于或正在从事游戏剧本创作工作的人员有一定的借鉴作用。     

论游戏的交互模式与操作设计

游戏是一门新生的艺术,具有独立的美学范式和艺术结构。游戏交互设计的优劣,直接影响着玩家的游戏体验和感性判断。本文围绕游戏的交互设计展开论述,分别从游戏的交互模式和操作方式两方面进行分析,提出游戏的交互设计应该充分注重游戏性的表达,致力于实现游戏界面的无缝性、操作的自然性和可用性,以最终体现游戏特有的动作乐趣、沉浸乐趣和自由乐趣。     

游戏中的营销博弈

游戏是现代人的娱乐方式之一,本文从传统益智游戏《大富翁》中总结出种种营销制胜策略,从这个看似不起眼的娱乐方式探索出一些营销中的契机,从而应用于现代营销。     

基于VIRTOOLS的游戏软件的设计与开发

本文以寓教于乐为特色的游戏软件为目标,采用3DSMAX进行场景与角色的三维建模,基于Virtools平台,进行《虚拟登月飞行》软件的设计与开发,并对开发中所遇到的问题进行分析并予以解决。实际程序调试结果表明了软件设计的可行性和实用性。     

Cognitive consequences of making computer-based learning activities more game-like

Some students (base group) played the Circuit Game, a 10-level computer-based learning activity intended to help students learn how electrical circuits work. Other students (competition group) played the same game but with competition features added - including a score bar showing performance on each level, the opportunity to earn one ticket per level if a performance criterion is met, and the opportunity to win a prize based on the number of tickets earned. On a retention test given after the game, the competition group remembered significantly more than the base group (d = 0.47). On an embedded transfer test constituting the final level of the game, the groups did not differ significantly. However, on the transfer test there was a significant gender by group interaction in which men performed worse in the competition group than the base group (d = −0.54) and women performed better in the competition group than the base group (d = 0.24). Overall, adding game-like features to a computer-based learning activity caused students to pay attention to game details but did not motivate students - particularly men - to learn more deeply.     

图像识别技术在3D-RPG游戏开发中的应用

基于OGRE(Object-oriented Graphics Rendering Engine)设计开发一个3D-RPG(Role-Playing Game)游戏引擎RPGGE(RPG Game Engine)。在RPGGE中融入图像识别技术,使玩家可以通过摄像头识别手势来增加游戏交互。RPGGE开发包括渲染系统、输入输出系统、声音系统、识别系统。     

基于不完全信息博弈模型的信息系统安全风险评估方法

博弈理论具有的目标对立性、关系非合作性和策略依存性等特征与网络攻防对抗过程保持一致，将博弈理论应用于网络信息安全已经成为研究热点，但目前已有的研究成果大都采用完全信息博弈模型，与网络攻防实际不符。基于此，为提高信息系统风险评估的准确性，本文构建不完全信息条件下的静态贝叶斯攻防博弈模型，将其应用于网络信息系统安全风险评估，构建相应的信息系统安全风险评估算法。通过仿真实验验证了本文模型和方法的有效性，能够对信息系统安全威胁进行科学、有效的评估。     

一种基于合作博弈论的自动驾驶车道变更模型

提出一个新颖的车道变更模型,采用合作博弈方法激励车辆参与合作。首次将合作博弈理论应用到车道变更领域,设计用于两车变道的纳什讨价还价变道模型,然后扩展为三车的合作博弈变道模型,并求出变道模型的纳什讨价还价解和夏普利值。为了进一步激励车辆参与合作,在收益分配方案中加入支付补偿部分来实现整体收益的可转移性,从而取得模型的解。实验结果表明,采用合作博弈后车辆的整体收益得到了大幅增加,同时每个参与车辆的个人收益也增加了。     

基于VB的简单游戏开发的初探——华容道游戏的设计

随着软件技术以及互联网技术的不断发展,游戏产业发展迅速,已经成为经济增长的一个亮点。本文简要的介绍了游戏的发展历史,另外还简单地介绍了众多游戏开发软件中的一种——即VisualBasic,其中主要地介绍了最新版的VisualBasic6.0,同时利用一个小游戏简单介绍了利用VisualBasic开发游戏的处理过程。     

基于VB的简单游戏开发的初探——华容道游戏的设计

随着软件技术以及互联网技术的不断发展，游戏产业发展迅速，已经成为经济增长的一个亮点。本文简要的介绍了游戏的发展历史，另外还简单地介绍了众多游戏开发软件中的一种——即visual Basic，其中主要地介绍了最新版的Visual Basic6．0，同时利用一个小游戏简单介绍了利用Visual Basic开发游戏的处理过程。