有序环（域）下的程序计算与BSS机器计算

１９８９年Ｂｌｕｍ，Ｓｈｕｂ与Ｓｍａｌｅ提出了在实数域上的一个计算模型（本文称其为ＢＳＳ机器计算模型）．ＢＳＳ机器计算模型主要是基于（有穷）有向图的，它很直观但没有形式化，不方便使用经典的离散的计算理论中的许多成熟的工具．本文从程序设计系统出发，提出一种在任意有序环（域）下的很自然的程序设计语言，严格定义了它的语法与语义，研究了它与ＢＳＳ机器计算的关系，证明了本文的程序设计计算与ＢＳＳ有穷维机器计算的等价性．

Java并发类库包的研究与应用

Java在其JDK5.0版本中推出了Concurrent并发类库包,该包为程序员提供了众多开发并发程序的新特征,如同步对象,并发集合,执行程序等,为并发程序的设计提供了更方便、安全的途径。本文在对并发类库包进行了分析与研究的基础上,运用并发包锁机制与原子操作实现了模拟电梯控制的仿真系统。

时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)

指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 .

基于TLA的Kerberos协议符号化与检测

Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。

ACCESS对外部数据库的使用

本文讨论了在WINDOWS下ACCESS数据库系统中如何使用通常DOS下FOXBAS、DBASE及FOXPRO建立的数据库文件；以及如何将ACCESS建立的数据库文件中的表格文件转换为DOS下FOXBASE、DBASE及POXPRO的数据库文件（．dbf）．

一种基于支持向量机的跨站脚本漏洞检测技术

跨站脚本是一种常见的针对Web应用程序安全的漏洞攻击方式。恶意用户利用漏洞将恶意脚本注入网页之中,当用户浏览该网页时,便会触发脚本,导致攻击行为产生。为此,针对各种变形跨站脚本攻击难以检测问题,对一种基于正则表达式和支持向量机的递归特征消去算法(RE-SVM-RFE)进行了研究。首先采用正则表达式匹配算法,为训练集选择有代表性的特征,即对数据预处理;再利用RE-SVM-RFE特征选择算法选择出最优特征,对具有攻击性的关键词进行特征排序;最后通过总结特征关键字的出现频率,发现频率越高漏洞存在可能性越大。实验结果表明,数据经过RE-SVM-RFE递归特征消去算法选择之后的SVM特征,预测的准确率更高,敏感度和特异度也更好,该算法能够有效地检测出跨站脚本漏洞。

一种基于序列最小优化算法的跨站脚本漏洞检测技术

当攻击者使用Web应用程序将恶意代码注入不同的终端用户时,就会发生跨站脚本攻击。文章针对Web应用程序使用用户输入的数据,而不对其进行验证或编码的现象,提出一种基于正则表达式匹配算法和序列最小优化算法的递归特征消除算法(SMO-RFE)。首先对数据进行预处理,采用正则表达式匹配算法,为训练集选择有代表性的特征数据集;其次利用SMO-RFE特征选择算法选择出最优特征;再次对具有攻击性的关键词进行特征排序和组合;最后总结特征关键字的出现频率以及特征值权重比例。攻击关键字出现的频率越高,漏洞存在的可能性就越大。实验验证发现,数据集通过SMO-RFE算法选择之后,SVM特征向量被检测的准确率更高,充分说明该算法能够有效地检测跨站脚本漏洞。

32位动态链接库的设计与调用技术

分析了Windows环境中动态链接库的运行方式,讨论了动态链接库设计和实现中应当注意的细节,给出了利用Visual C++6.0开发32位动态链接库,并用Visual C++、Visual Basic应用程序引用动态链接库函数的实例。

基于CPN的动态多路归并外排序算法建模

介绍CPN(Colored Petri Nets)的基本概念,用CPN建模实现动态的、并发的多路归并外排序算法。算法利用多个缓冲区解决外部文件读入的等待延时,通过调整缓冲区的大小和数量可在不同的机器上获得最佳效果。

微机DES磁盘加密系统

本文以C(C++)语言在微机上实现了美国数据加密标准DES.可对微机软盘、硬盘任意路径下的任何文件(包括EXE文件,COM文件,中英文文本文件,数据库文件等)加密,加密文件可存在软、硬盘任意目录下或在网络中传送;另一方面,可对软、硬盘上的任何加密文件进行解密,解密后的文件除在末尾多出几个空格符外与原文件完全相同,绝不影响EXE文件,COM文件或数据库文件的使用.密钥由加密者在键盘上键入8个字符,记忆方便,同时我们证明这样做不减小DES的密钥空间.

实数域上的Turing-BSS不可比r.e.度

在已有文献的基础上，引入实数域上的相对计算和图灵归约，并对经典可计算理论中的Ｐｏｓｔ问题，在实数域上进行进一步深入的讨论，找出并证明了一些互不可比的实ｒ．ｅ．子集———一类有理数域上的单纯代数扩域，得出了一些有趣的结果．