也谈硬盘逻辑锁

前段时间在《微计算机信息》杂志上阅读了一篇“设置专用硬盘与逻辑盘方法”的文章,看了之后,觉得作者的程序必须在DEBUG下运行,且解锁显得比较繁琐,加之有些用户还不太熟悉DEBUG软件的使用,如果稍有误操作,将导致硬盘锁死等后果.我用TURBOC2.0编写了-程序,弥补了上述不足,供大家参考.其原理是改写硬盘主引导扇区中的分区信息表中相应的操作系统标志字节来实现的,此程序经编译后生成相应的可执行文件LOCK.EXE,然后可将其拷到软盘上运行就可任意锁住C盘或D盘.

浅析计算机软件侵权的责任认定——从江民公司“逻辑锁”案件说起

本文从江民公司"逻辑锁"案件出发,针对该案处罚措施责任分配不清的缺陷,对涉案的四方主体责任进行剖析,指出:江民公司虽以打击盗版为目的,但实际造成用户经济损失后果,应承担责任;软件破解者违法破坏软件技术保护措施,造成软件公司经济损失,应承担责任;软件使用者在明知的情况下使用盗版软件,主观恶意,应承担责任;中国毒岛论坛构成软件破解侵权行为的帮助,应承担责任。

谈计算机中“主动逻辑锁”犯罪

北京某公司在其反病毒软件KV300L++版中安置“主动逻辑锁”,给计算机犯罪研究提出新课题.“主动逻辑锁”属于破坏性程度,应从法律上明确,制造“主动逻辑锁”和制造“逻辑炸弹”与制造计算机病毒都是犯罪行为.目前,亟需单独制定《计算机安全保护法》,完整计算机犯罪概念,培养惩治计算机犯罪专业人才和加强计算机安全防范的法制教育.

硬盘逻辑锁原理

PC机染毒杀毒是常事,但你如果中了硬盘逻辑炸弹,连软驱、光驱都启动不了,还怎能杀毒?本文阐述了硬盘逻辑锁原理及解锁方法。

巧解硬盘逻辑锁

在正式的进入本文之前，我们先来讲解一下被“逻辑锁”锁住的硬盘为什么不能用普通办法启动的原因。

用Linux巧解硬盘逻辑锁

硬盘逻辑锁往往是因恶意软件、计算机病毒、非正常关机等引发，会导致计算机已安装的Windows操作系统启动时提示找不到有效启动分区，或者启动进度条“死循环”。本文介绍笔者借用Linux系统完美解决硬盘逻辑锁问题，硬盘上的数据没有丢失。

再论制作硬盘逻辑锁

一、序言 由于教学工作需要,本人在参看了贵刊98年第4期《硬盘逻辑锁技术研究及应用》与99年第3期《解开硬盘逻辑死锁的一种有效方法》的文章之后,决定以同类方法尝试一下,结果未获得成功,又“苦于”没有KV300 L++版,不得不自己做一个硬盘逻辑锁。在制作过程中发现,仅仅只做循环链表是不够的,并不能锁住硬盘。以下是本人经过多次实验后,总结出的一套加锁和解锁的方法,以供大家参考。硬盘逻辑锁的原理请参见以上文章。

巧解硬盘逻辑锁

一个完整的硬盘逻辑锁程序,就是人为地改写硬盘0 柱面0磁头1扇区的引导程序,将分区表破坏,并故意制造一个循环分区表,同时将真正的硬盘分区表参数和引导程序放在其它隐藏扇区并保护起来。当电脑启动时会校验口令是否正确,如果口令不正确则无法启动电脑;如果口令正确,则把硬盘分区的内容改为正常值读入内存,这时系统就可以顺利启动。对于加锁的硬盘,即使我们把它放到别的机子也是不能启动的,没有密码就无法读取硬盘中的信息和数据。下面介绍三种比较简单和安全的解除硬盘逻辑锁的方法。

对《再论制作硬盘逻辑锁》的补充

读了2000年第三期上《再论制作硬盘逻辑锁》一文,不禁使所我对硬盘逻辑锁问题再次产生了兴趣,于是对此进行了一些思考和研究。笔者曾在99年第三期上发表了一篇《解开硬盘逻辑死锁的一种有效方法》,文中提到了制作循环分区表可以锁住硬盘,后来一位远方的读者朋友打电话告诉我循环分区表没有锁住他的硬盘,WIN95仍可以正常启动。我不信,于是就在自己的机子上再次做试验,发现是可以锁住的,只要加上循环分区表后,WIN95和DOS6.22都不能启动了。但一位素不相识的朋友不远千里打来电话,说的应该也是事实。

硬盘逻辑锁技术研究及应用

本文以KV300L++版的逻辑锁的技术为引导,详细介绍逻辑锁的工作原理,着重讲解逻辑锁的工作机制和逻辑锁的破解方法,并提出逻辑锁的无害应用实例,用来加强计算机的安全应用管理。

天然气制备乙炔工艺中压缩机机组的联锁逻辑保护方法探讨

天然气制备乙炔工艺中的压缩机机组,是工艺过程中非常重要的设备,受到的液压、电气和机械等多种因素的影响,需要在运行中进行一定的保护措施,以避免发生事故。本文提出了一种基于PLC控制系统的联锁逻辑保护方法,通过对压缩机机组关键参数的采集和处理,实现了对机组运行状态的监测和保护控制,提高了机组的安全性和可靠性,并有效地避免了机组故障的发生。

联锁逻辑模型的安全性分析

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。

铁路信号计算机联锁系统的联锁逻辑变换

分析了铁路信号计算机联锁系统中流通的信息 ,将其分为涉安信息与非涉安信息两大类 ,并进一步提出当使用逻辑变量来表达涉安信息时的“安全侧逻辑状态”与“危险侧逻辑状态”。阐述了变换联锁信息表达形式的重要性 ,给出了根据故障 -安全原则实现安全逻辑变量的 2种表达形式。

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景 。

基于时序Petri网的联锁逻辑形式建模与验证

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。

基于排队模型的联锁逻辑仿真模型研究

基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统。与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好。根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法。

联锁逻辑形式化模型检验的研究

利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能。通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题。该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证。