简介 talfun是 talmodeler( 基于模型的全周期软件开发环境) 中 的 需求建模工具 ,能够对软件需求分析中功能需求建模, 为软件设计、仿真以及测试提供模型基础及数据基础。 特点 1,使用简单、模型 准确且 漂亮 基于talfun 提供 的自动排版功能 以及软件功能树模型 功能需求 建模过程简单高 效,所建模型 既美观又能够充分展现软件的功能组成。 2,同数据接口定义相结合 talfun实现了功能需求同功能点的数据接口定义的一体化的理念, 避免了传统软件 开发过程中需求分析同概要设计的脱节导致的需求失真。 3,同用例设计相结合 talfun实现了功能需求同用例设计的一体化的理念, 真正解决了用例乃至后续的测 试环节中的需求失真的软件开发过程中的一项顽疾。 4 同tamodeler中的其它基于模型的相关开发工具无缝对接
1
网络安全、容器安全、原理、方法
2022-11-30 09:00:39 1.38MB 网络安全 容器安全
1
https://otterctf.com/ 平台 Memory Forensics
2022-11-29 22:00:44 483.71MB 资源
1
信息安全认证教学课件公钥密码技术对称加密技术消息认证身份认证学习教程PPT: 第一章 信息安全认证概述.ppt 第三章对称加密技术.ppt 第九章openSSL编程.ppt 第二章 数学基础.ppt 第五章消息认证.ppt 第六章 身份认证.ppt 第四章 公钥密码技术.ppt
配套逆向分析练习六实战的程序
2022-11-29 15:00:37 1KB 逆向 算法 Windows od
1
本文首先对 GNSS 的定位原理进行介绍,然后研究分析了多种欺骗干扰的原 理以及所采取的干扰策略,明确了在不同功率策略下欺骗干扰的作用过程,并对 欺骗干扰对接收机的影响进行具体的阐释。
2022-11-29 09:00:43 1.75MB 卫星导航 抗干扰 定位
1
根据 NovAtel OEM6 接收机接收的星历参数,计算在轨卫星位置;联 合实测的卫星伪距数据,用 C 语言建立解算模型,分别用最小二乘法以及卡尔曼 滤波求解用户位置。结果表明,这两种方法算出的定位精度不高。为了提高精度, 本文将容积卡尔曼滤波算法引入用户位置求解流程。结果证明,用 C 语言建立的 容积卡尔曼滤波解算模型,能够提供比最小二乘法和卡尔曼滤波更高的定位精度。
1
系统维护软件Dism++10.1.1002.1
2022-11-26 20:00:41 98.42MB 软件
1
Renee File Protector是一款加密软件,可以帮助我们保护电脑中的文件安全,可以为你添加*AES加密算法,让外人无法打开你加密的文件,同时也无法对其进行移动、删除、复制等操作。 Renee File Protector(文档加密软件) 功能介绍   多级保护   1、保护外部磁盘中的数据   密码保护外部存储设备(如外部磁盘、存储卡、USB 等)中的文件/文件夹。   2、共享数据保护   锁定共享文件夹以确保合适的人可以访问数据。   3、隐藏数据   支持一次隐藏本地磁盘中的大量文件/文件夹/分区。   4、防止更改   其他人可以查看文件,但不能更改或删除受保护文件夹和分区中的受保护文件或数据。   5、锁定本地磁盘中的数据   只需几个简单的步骤,即可防止本地磁盘中的敏感数据被密码窥探。   6、监控功能   用日志记录本地磁盘中被监控目标的每个活动。   7、安全删除   永久删除您选择的数据及其踪迹。超越可恢复性。
2022-11-26 09:00:39 11.7MB 文件加密软件
1
查看所有的保存在浏览器上的用户登录账号和密码。WebBrowserPassView 是一款相当给力的小软件,它会自动找出你在浏览器里面保存过的的帐号和对应的密码并显示出来,只要启动它,经过几秒钟之后,就会看到画面上出现你的浏览器所记忆的网址、帐号及密码了!目前一共支持了 IE1~IE9、Firefox、Chrome及Opera等四种主流浏览器
2022-11-25 12:00:38 271KB google chrome 密码查看 Firefox
1
Sample idea VMP detect bug in hook(KM/UM) for detect anti-anti-debug tool's
2022-11-25 12:00:37 290KB VMP VM Antidebug
1
这本书的目的是为了让读者更好地理解计算机在相比于编程语言 如Pascal的更底层如何工作。通过更深刻地了解计算机如何工作,读者 通常可以更有能力用高级语言如C和C++来开发软件。学习用汇编语言 来编程是达到这个目的的一个极好的方法。其它的PC汇编程序的书仍然 在讲授着如何在1981年使用在初始的PC机上的8086处理器上进行编程!那 时的8086处理器只支持实模式。在这种模式下,任何程序都可以寻址任 意内存或访问计算机里的任意设备。这种模式不适合于安全,多任务操 作系统。这本书改为叙述在80386和后来的处理器如何在保护模式(也就 是Windows和Linux运行的模式)下进行编程。这种模式支持现在操作系统 所期望的特征,比如:虚拟内存和内存保护
2022-11-24 17:00:41 1.21MB NASM
1
talexp是完全自主知识产权的国产软件,能够对程序中所使用的表达式建模。 支持包括赋值、数组、函数调用在内的数十种操作符。 既支持可变数据,也支持常量数据。 既支持常规数据类型,也支持自定义数据类型。 talexp是talmodeler(基于模型的软件全过程开发环境)的重要组成部分。
1
de4dot .net脱壳
2022-11-24 13:00:37 2.02MB C# .net PE de4dot
1
二进制分析工具binwalk-master
2022-11-24 13:00:36 37.93MB 分析工具
1