[其他小程序] Strand

说明：提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the
<韩超> 在 2025-01-23 上传 | 大小：194kb | 下载：0

[其他小程序] saving

说明：银行管理系统，实现创建用户，开户，存款，取款，挂号，消号的服务. 和后面的四个源程序一起使用。-bank management system for creating users, accounts, deposits, withdrawals, registered, According to its services. and the back of the four source files are used together
<mingqiang> 在 2025-01-23 上传 | 大小：1kb | 下载：0

[其他小程序] serveTable1

说明：银行管理系统，实现创建用户，开户，存款，取款，挂号，消号的服务. 和后面的四个源程序一起使用。-bank management system for creating users, accounts, deposits, withdrawals, registered, According to its services. and the back of the four source files are used together
<mingqiang> 在 2025-01-23 上传 | 大小：2kb | 下载：0

[其他小程序] serveTable3

说明：银行管理系统，实现创建用户，开户，存款，取款，挂号，消号的服务. 和后面的四个源程序一起使用。-bank management system for creating users, accounts, deposits, withdrawals, registered, According to its services. and the back of the four source files are used together
<mingqiang> 在 2025-01-23 上传 | 大小：1kb | 下载：0

[其他小程序] withdraw

说明：银行管理系统，实现创建用户，开户，存款，取款，挂号，消号的服务. 和后面的四个源程序一起使用。-bank management system for creating users, accounts, deposits, withdrawals, registered, According to its services. and the back of the four source files are used together
<mingqiang> 在 2025-01-23 上传 | 大小：1kb | 下载：0

[其他小程序] DataStrucyueduqit

说明：实现从一个.txt文件中读取文章，然后按一定的格式排版都输出到指定的.txt文件中。-from a realization. Txt document read the article, Then put it all typesetting format to the specified output. txt file.
<mingqiang> 在 2025-01-23 上传 | 大小：2kb | 下载：0

[其他小程序] Parmon

说明：电脑打印口监控程序，写并口程序时非常有用-computer LPT control procedures, write Parallel procedures will be very useful
<CAI> 在 2025-01-23 上传 | 大小：319kb | 下载：0

[其他小程序] dos_FTPD

说明：DOS下有关Dsock库的开发FTPD服务程序-under the DOS Dsock library services for the development FTPD
<dyq> 在 2025-01-23 上传 | 大小：3kb | 下载：0

[其他小程序] vga_test

说明：DOS下的分辨率为640＊480的测试源代码-DOS resolution of 640* 480 test source code
<dyq> 在 2025-01-23 上传 | 大小：4kb | 下载：0

[其他小程序] fir3

说明：FIR 滤波器 matlab/simulink dsp builder-FIR filter Matlab/Simulink dsp builder
<libukun> 在 2025-01-23 上传 | 大小：6kb | 下载：0

[其他小程序] soundDisply

说明：实现语音波形的显示、波形放大及缩小（双击鼠标实现），声音回放，被选定波形区域的存储-achieve voice waveform display, waveform magnification and reduced (to achieve double-click the mouse), the voice playback, selected regional waveform storage
<徐春燕> 在 2025-01-23 上传 | 大小：30kb | 下载：0

[其他小程序] AdvOfficePagerD7.ZIP

说明：delphi环境下 精美的程序界面。实现左侧导航条，右侧多个工作界面的容器控件。内置多个界面分格随意选择。-delphi environment attractive program interface. Implementation of the left navigation, the right number of containers work interface controls. Built-in interface mul
<魏晋军> 在 2025-01-23 上传 | 大小：168kb | 下载：0