注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. SystemSecurityOS：如何使用Pinguy Builder将Ubuntu 16.04 LTS重新制作为SyTiOS（系统安全性操作系统）-源码

  2. SystemSecurityOS：如何使用Pinguy Builder将Ubuntu 16.04 LTS重新制作为SyTiOS（系统安全性操作系统）

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：1024
    • 提供者：weixin_42115513

  1. Spring-JWT：Proyecto支持JWT和Spring安全性-源码

  2. Spring-JWT：Proyecto支持JWT和Spring安全性

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：2097152
    • 提供者：weixin_42122838

  1. 基于应用π演算的可信平台模块的安全性形式化分析

  2. 可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所存在的不足,从分析TPM和使用者的交互过程出发,使用应用π演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：506880
    • 提供者：weixin_38557727

  1. 故障模型驱动的软件安全性测试研究

  2. 故障模型驱动的软件安全性测试研究

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：162816
    • 提供者：weixin_38551143

  1. 基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

  2. 列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：845824
    • 提供者：weixin_38588394

  1. 一种基于场景模型的安全性分析算法研究

  2. 为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性。通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性。与已有的安全性分析方法相比,本

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：718848
    • 提供者：weixin_38623366

  1. 高速铁路列控中心软件安全性需求形式化建模

  2. 列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：499712
    • 提供者：weixin_38726193

  1. fa_password：FrontAccounting扩展可增强密码安全性-源码

  2. FA的密码检查扩展 向FrontAccounting（FA）添加以下功能以增强密码安全性： 确认新密码与最近的密码不同； 使用验证新密码是否满足最低强度要求； 密码太旧时需要更改密码； 管理员更新密码时需要更改密码； 如果密码反复失败，请在设置的时间内禁用用户登录； 和 添加密码安全设置选项以调整上述功能的设置。 设计说明： 此扩展使用第三方组件和 。 有关详细信息，请参见。 此扩展旨在与的“修复”分支派生一起使用 使用fork的目的是，扩展可以向用户提供有关登录失败的反馈，并

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：2097152
    • 提供者：weixin_42171208

  1. 认证群密钥协商协议的安全性分析与改进

  2. 对Tseng协议构造了一种有效的中间人伪造攻击,敌手可以成功获得群会话密钥,因此Tseng协议不满足密钥认证性。然后基于Tseng协议的安全缺陷,提出改进协议,并进行安全性分析和性能分析。改进协议实现了通信节点之间的双向认证,不但满足前向安全性、密钥认证性,还能有效抵抗被动攻击和中间人伪造攻击。改进协议中的低能量节点计算出会话密钥的时间只需2.03s,高能量节点的计算时间仅为原协议的1/2,并且通信开销减小了40%,更适用于能量受限,带宽受限的移动通信系统。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：675840
    • 提供者：weixin_38631389

  1. Android安全性分析-源码

  2. Android安全性分析 反编译 安装apktool 苹果电脑：

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：74448896
    • 提供者：weixin_42166623

  1. springboot_service：Spring Boot安全性-源码

  2. springboot_service：Spring Boot安全性

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：38912
    • 提供者：weixin_42121412

  1. simple-sec-prototype：为UNIRIO的一个类创建的一个小项目。 这是一个简单的安全性arduino原型-源码

  2. 简单秒原型 为UNIRIO的一个课堂创建了一个小项目。 这是一个简单的安全性arduino原型。 本在pt-br中描述了整个项目。 在可用！ 您可以运行和编辑代码。

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：183296
    • 提供者：weixin_42134144

  1. 安全性-源码

  2. 安全性

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：98304
    • 提供者：weixin_42117032

  1. nestjs-boilerplate：:satellite_antenna:开发与数据库无关的API，重点放在性能，可维护性，安全性，快速实施和最佳实践上-源码

  2. 在几秒钟内启动下一个NestJS项目 开发与数据库无关的API，重点放在性能，可维护性，安全性，快速实施和最佳实践上。 特征 基于角色的身份验证 NestJS-Boilerplate已经为您服务，因此您无需从头开始实施完整的身份验证方案。 认证功能 智威汤逊策略 注册用户 登录用户 用谷歌登录 用facebook登录 用户密码恢复 邮件确认 电话确认 两因素验证 角色特征 使用Auth Guard保护API控制器或端点 创建新角色 启用/禁用现有角色 删除现有角色 启用/禁用现有角色 将特定角

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：223232
    • 提供者：weixin_42127783

  1. SMS-SecPri-mHealth-uHealth：复制软件包-有关mHealth和uHealth系统的安全性和隐私性的SMS-源码

  2. SMS-SecPri-mHealth-uHealth 复制软件包-有关mHealth和uHealth系统的安全性和隐私性的SMS 在文件中找到此SMS的研究协议： mHealth和uHealth安全性和隐私的系统映射研究协议 在文件中找到了Scopus的初始搜索结果的完整列表： scopus-all-search-results.csv 在文件中找到选定研究的完整映射： 具有所有分析功能的景深选择 联系作者：

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：1048576
    • 提供者：weixin_42170790

  1. 商用密码应用安全性评估管理办法

  2. 商用密码应用安全性评估管理办法

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：2097152
    • 提供者：yking

  1. mimikatz：与Windows安全性配合使用的小工具-源码

  2. 米米卡兹 mimikatz是我用来学习C并使用Windows安全性进行一些实验的工具。 现在众所周知的是从内存中提取明文密码，哈希，PIN码和kerberos票证。 mimikatz还可以执行哈希传递，票证传递或构建Golden票证。 .#####. mimikatz 2.0 alpha (x86) release "Kiwi en C" (Apr 6 2014 22:02:03) .## ^ ##. ## / \ ## /* * * ## \ / ## Benjamin

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：2097152
    • 提供者：weixin_42165508

  1. Mallochite：Mallochite是一个免费的开源聊天应用程序，它以去中心化，隐私和安全性的设计理念构建-源码

  2. 硬锰矿 Mallochite是一个免费的开源聊天应用程序，它以去中心化，隐私和安全性的设计理念为基础

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：13312
    • 提供者：weixin_42166626

  1. VendasAPI：Curso de Spring Boot专家：JPA，RESTFul API，安全性，JWT-UDEMY-源码

  2. VendasAPI Curso de Spring Boot Expert：JPA，RESTFul API，安全性，JWT-UDEMY

  3. 所属分类：其它

    • 发布日期：2021-02-17
    • 文件大小：59392
    • 提供者：weixin_42175035

  1. Spring2.4.2：安全性2.4.2-源码

  2. Spring2.4.2：安全性2.4.2

  3. 所属分类：其它

    • 发布日期：2021-02-17
    • 文件大小：20480
    • 提供者：weixin_42099936
« 1 2 ... 45 46 47 48 49 50»