[其它] 公平的电子合同签署协议的博弈分析与改进

说明：为了克服传统时序逻辑以封闭系统方式分析协议的缺点， 根据电子合同签署协议的特点引入一种基于博弈的 ATL逻辑形式化分析方法。 利用该方法分析了一个公平的电子合同签署协议，发现该协议存在不满足公平性和时限性的缺陷。通过向协议中添加额外的时间控制信息和 Abort 子协议对该协议进行了改进，并使用 Mocha 模型检测工具以 ATL 公式和 Invariant Checking 相结合的方式对改进协议的公平性和时限性进行有效地验证。 实验结果表明， 改进后的协议满足公平性和时限性。
<weixin_38685831> 上传 | 大小：371kb

[其它] 自动化模拟-源码

说明：自动化模拟
<weixin_42138703> 上传 | 大小：15mb

[其它] 群组通信的通用可组合机制

说明：在通用可组合框架下研究群组通信问题．首先，作者在ＵＣ框架下分别提出群组通信模型的理想函数!ＳＡＧＣＯＭ、基于身份签密模型的理想函数!ＩＤＳＣ和群密钥分发模型的理想函数!ＧＫＤ．其次，构造了ＵＣ安全的基于身份签密协议πＩＤＳＣ，同时，证明了基于身份的签密协议πＩＤＳＣ安全实现理想函数!ＩＤＳＣ当且仅当相应的基于身份的签密协议ＩＤＳＣ 是安全的．最后，利用基于身份的签密协议πＩＤＳＣ，提出了一种群组通信机制πＳＡＧＣＯＭ，该机制在（!ＩＤＳＣ，!ＧＫＤ）－混合模型下能安全实现群组通信的理想函数!ＳＡ
<weixin_38704922> 上传 | 大小：452kb

[其它] 信仰喷泉99-源码

说明：Create React App入门 该项目是通过。 可用脚本 在项目目录中，可以运行： npm start 在开发模式下运行应用程序。 打开在浏览器中查看。 如果进行编辑，页面将重新加载。 您还将在控制台中看到任何棉绒错误。 npm test 在交互式监视模式下启动测试运行程序。 有关更多信息，请参见关于的部分。 npm run build 构建生产到应用程序build文件夹。 它在生产模式下正确捆绑了React，并优化了构建以获得最佳性能。 最小化构建，文件名包含哈希。 您的应用已
<weixin_42097533> 上传 | 大小：12mb

[其它] 基于混沌和HVS的小波域自适应图像水印算法

说明：针对常规的小波域水印算法自适应性差的缺陷，提出了一种新的基于混沌和人类视觉系统的小波域自适应图像水印算法。首先对载体图像进行二级DWT变换；然后对特定的中频子带进行分块，并对每块做SVD分解；最后将Logistic混沌置乱后的二值水印信息嵌入到每块的最大奇异值中，嵌入的强度根据HVS原理自适应地进行调整。仿真实验表明，该算法不仅具有很好的不可见性，且对JPEG压缩、加噪、滤波等常见的图像攻击具有很强的鲁棒性。
<weixin_38543460> 上传 | 大小：335kb

[其它] crawler4j：Java的开源Web爬网程序-源码

说明：crawler4j crawler4j是Java的开源Web爬网程序，它提供了用于爬网的简单界面。 使用它，您可以在几分钟内设置多线程Web搜寻器。 表中的内容 安装 使用Maven 将以下依赖项添加到pom.xml中： edu.uci.ics crawler4j 4.4.0 使用Gradle 将以下依赖项添加到您的build.gradle文件中： compile group: 'edu.uci.ics', name:
<weixin_42139429> 上传 | 大小：318kb

[其它] 多智体系统时序认知规范的SPIN模型检测

说明：ＳＰＩＮ 模型检测器主要用来检测线性时序逻辑描述的规范， 而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用 ＳＰＩＮ 模型检测线性时序认知逻辑的方法， 根据局部命题的理论， 将模型检 测 知 识 算 子 和 公 共 算 子 表 述 的 规 范 规 约 为 模 型 检 测 线 性 时 序 逻 辑 的 问 题， 从 而 使ＳＰＩＮ 的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个 ＲＰＣ 协议分析实例来说明模型检测线性时序认知逻辑的方法。
<weixin_38674050> 上传 | 大小：286kb

[其它] server_training-源码

说明：server_training
<weixin_42129300> 上传 | 大小：1mb

[其它] 基于可验证随机数的前后向安全群签名方案

说明：利用有限域上的插值多项式给出一类可验证随机数构造的方法,将此可验证随机数应用到群签名方案中,提出可验证随机函数在群签名系统中的应用方案,然后对方案的安全性进行分析,并与其他方案进行对比.结果表明,此方案具有匿名性、可追踪性、不可伪造性等特性,并且能够灵活添加删除成员,能轻松实现前向安全性和后向安全性,而且在签名的不同阶段不需要重新设置成员的私钥,和其他方案相比具有一定的优越性.
<weixin_38693586> 上传 | 大小：347kb

[其它] 旅馆-源码

说明：旅馆
<weixin_42123237> 上传 | 大小：363kb

[其它] gsa_bootstrap：金穗工匠-Drupal 8 Bootstrap子主题-源码

说明：CDN入门套件 CDN Starterkit的设置非常简单。 在您希望覆盖默认的基本主题设置或提供其他自定义CSS之前，您无需执行任何操作。 先决条件 阅读link子主题子主题endlink父主题。 替代样式{#styles} 打开./subtheme/css/style.css并根据您的喜好修改文件。 替代设置{#settings} 请参阅link subtheme_settings子主题设置endlink主题。 覆盖模板和主题功能{#registry} 请参阅link注册表主题注册表e
<weixin_42176827> 上传 | 大小：96kb

[其它] 03-密码生成器-源码

说明：03 Javascr ipt：密码生成器 你的任务 本周的家庭作业要求您修改启动程序代码，以创建一个应用程序，使员工能够根据他们选择的条件生成随机密码。 该应用程序将在浏览器中运行，并具有由您编写Javascr ipt代码支持的动态更新HTML和CSS。 它将具有干净，优美，React灵敏的用户界面，可适应多种屏幕尺寸。 密码可以包含特殊字符。 如果您不熟悉这些内容，请参阅OWASP Foundation。 用户故事 AS AN employee with access to sensitiv
<weixin_42138703> 上传 | 大小：24kb