ROP图灵完备的普遍可实现性

返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过深入分析条件转移机器指令的执行上下文发现,对这些指令的传统认知存在一定的局限性.事实上,在已有代码中存在少量的条件转移指令,它们的两个分支的开始部分都是可复用的代码片段(称为gadgets),而且这两个gadgets会从不同的内存单元中取得下一个gadget的地址,因此,以这些条件转移指令开始的代码片段可以帮助ROP实现条件转移逻辑.把这种代码片段称为if-gadget.在Linux和Windows系统上的实验结果表明,if-gadget普遍存在,即使在代码量很小的日常可执行程序中也存在.在Binutils程序集上的实验结果表明,引入if-gadget后,构造图灵完备的ROP代码要比用传统方法容易得多.在Ubuntu这样的主流操作系统上,由于可执行程序上默认没有实施防御ROP攻击的保护机制,因此,攻击者可以在这些软件模块中构造纯ROP攻击代码来发动攻击.由此可见,ROP对系统安全的威胁比原来认为的严重得多.

基于非对称具有优先级的一类逻辑环随机模型

讨论一种具有广泛性和代表性的带有优先级的逻辑环随机服务系统 :非对称型、队列容量有限、服务上额受限 .主要内容有 :系统运行特点 ;队列状态转移特性 ;队列状态转移概率近似算法 ;队列状态概率非常规算法等 .文中提出状态条件转移和状态转移组合等新概念 ;以及集中参数替代分布参数和反求等方法 .

CASIO fx-4850p计算器在公路施工中的应用

最新推出的卡西欧fx-4850p计算器具有强大的程序编制功能,在程序区域中最多可储存28500个字节的数据,同时具有逻辑运算、条件转移、无条件转移等等多种程序命令。本文作者根据卡西欧fx-4850p计算器说明书,结合自身的工作实践,逐步摸索并编制了一套公路施工坐标计算程序。经过多次运算、实践、修正,在以后的工程施工中，彻底地告别了图纸，极大地提高了放样速度和工程进度。

作为哲学的数理逻辑

现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考,其早期发展无疑对人类理性事业起到了重大推动作用。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果,不仅让人类对数学基础有了全新的理解,孕育了现代计算机科学,而且还促成了分析哲学的崛起。此后的数理逻辑越来越陷入高度的技术化与专业化,并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而,无论是数学基础问题还是一般的哲学问题都仍然呼唤着逻辑与哲学再度携手。