计算机取证概述

本文简要介绍了计算机取证的定义、发展背景、证据特点、取证特点、取证原则、步骤,并从静态和动态两个方面阐述了取证技术和取证工具。     

计算机取证平台研究

目前的计算机取证工具多完成计算机取证的某一方面工作。计算机取证平台由证据收集平台、证据分析平台和证据表示平台构成，涵盖了计算机取证的整个工作流程。硬盘映像拷贝工具和现场取证系统构成了证据收集平台，证据分析平台由单机和网络版证据分析软件构成，而证据表示平台则使用XML来表达证据。计算机取证平台使计算机取证工作能够在统一的平台上进行，为计算机取证工作者提供了有力的工具。     

计算机取证技术的探讨与研究

计算机取证是计算机学科和法学学科相结合而诞生的一门新型学科,并正逐渐成为人们研究和关注的焦点。该文介绍了计算机取证的概念、原则和步骤,同时探讨和研究了计算机取证技术和取证工具。     

计算机取证技术探讨

随着网络技术的不断发展和普及,计算机犯罪也在不断增加,为解决争议和打击计算机犯罪,计算机取证技术已成当前的重要手段,从而使得计算机取证成为计算机安全领域的一个研究热点和重点。本文介绍了计算机取证技术概念、特点、取证工具和取证局限性,讨论了计算机取证的发展趋势,并详细介绍了反取证技术。     

计算机反取证技术研究

在计算机取证日益受到人们重视和关注的今天,人们对反取证技术的研究相对较少.本文主要介绍目前常见的反取证技术和工具,并给出几个实现反取证的具体实例.     

智能型手机数字取证标准作业程序研究

智能型手机已成为许多犯罪者所使用的高科技犯罪工具，而这也是司法机关破案关键之所在。然手机属于私人物品，并受隐私权保护，故此类的犯罪侦查与传统犯罪形态存在着极大的差异。鉴于此，本研究将探讨手机调查指导方针与数字取证标准作业程序，对智能型手机的数字证据取证方式与合法性，制订出有关智能型手机数字证据的处理程序及规则，让取证人员能够运用此取证程序与取证工具即可完成取证工作，并于法庭上，可补强数字证据能力及证明力，辅助法庭上证据的佐证能力。     

基于TCT的取证工具适应性问题及其解决方法研究

软硬件技术的发展导致计算机取证工具在实际应用中不能正常发挥作用,影响取证工作的进行.以开源的TCT取证工具为代表,以实验为基础,考察取证工具在实际应用中遇到的问题,研究问题产生的根源,并提出解决问题的方法,目的是为解决取证工具的适应性问题寻找有效的途径.     

计算机取证技术研究

该文介绍了计算机取证的步骤、特点、原则、技术和工具等,分析了存在的问题,介绍了国内外计算机取证的研究现状,最后提出了计算机取证的发展趋势。     

计算机取证工具分析

本文主要对计算机取证过程中使用的常见工具进行详细的分析和说明.这些常用的工具包括windows系统中的实时响应工具,开放数据复制工具ODD、电子证据保护工具AafeBack及取证复制工具EnCase等等.     

一种基于Linux的动态取证策略

计算机动态取证是信息安全领域的研究热点,在简单介绍取证策略的基础上,提出一种基于Linux的计算机动态取证策略。该策略将Linux系统下的待取证数据分为两类,并采用不同的方法来取证：对于易失性的数据,通过分析内核的数据结构来获取证据;对于非易失性的数据,利用取证工具和系统命令来获取证据。在Linux9.0上进行了实验。实验表明,采用该策略能够对Linux系统下的常见入侵进行动态取证。     

The future of computer-aided innovation

A new category of tools known as CAI (computer-aided innovation) is an emerging domain in the array of computer-aided technologies. CAI has been growing as a response to greater industry demands for reliability in new products. Some initial CAI ideas and concepts focused on assisting product designers in the early stage of the design process, but now a more comprehensive vision conceives CAI systems as beginning at the fuzzy front end of perceiving business opportunities and customer demands, then continuing during the creative stage in developing inventions and, further on, providing help up to the point of turning inventions into successful innovations in the marketplace. CAI methods and tools are partially inspired by Innovation Theories, such as TRIZ, QFD (Quality Function Development), Axiomatic Design, Synectics, General Theory of Innovation, Mind Mapping, Brain Storming, Lateral Thinking, and Kansei Engineering, among others. The goal of these new CAI tools under development is to assist innovators, inventors, designers, process developers and managers in their creative performance, with the expectation of changes in paradigms through the use of this new category of software tools. CAI, therefore, stands out as a departure from the usual trends. The latest approaches are presented and analyzed to derive conclusions regarding the present status and the future of these emerging tools.     

基于Visual LISP的压力中心计算机速求系统(CAD)

本文基于Visual LISP for AutoCAD2000和确定压力中心的新方法,成功地开发了压力中心计算机速求系统。应用该系统可以用计算机快速准确地求得压力中心。本文阐述了系统的设计实现、总体模型、模块构成、系统界面、执行流程和使用方法,说明了系统的实际应用效果。该系统具有实用性和先进性,实现了压力中心的准确求解,用计算机技术提升了传统产业工艺设计的科技水平。     

仿真优化理论与方法综述

由于实际系统本身具有的随机性,仿真环境下的最优化理论及应用研究一直是仿真界的重要课题。如何在仿真环境下使用户能够更加容易进行决策,也正是仿真优化研究的主要目标。文中根据以前各国学者对仿真优化方法及应用的研制,针对仿真优化方法进行综述,并对一些常用的带有优化功能的软件进行介绍。     

论计算机取证

随着信息技术的发展,计算机犯罪活动越来越多。如何利用计算机取证技术搜集电子证据、惩治犯罪,已成为人们关注的焦点。该文主要介绍了计算机取证的概念、原则、过程以及一些常用的计算机取证工具,并详细介绍了Encase软件的使用。     

A practical study of semi-automatic OSI protocol implementation

Communication protocols form a language which can be recognized by extended finite automata, and compiler generating tools can help with its implementation. This paper presents a project for implementing the ISO OSI layers which are most relevant to LANs. Taking advantage of modular and repetitive OSI architecture, a layer implementation model is proposed, introducing sharp distinctions between protocol layer-dependent and independent modules, so that the implementation effort can be largely reduced. It is also shown that layer-dependent modules can be generated automatically by using software tools developed for compiler construction. It is assumed that the protocols to be implemented have already been verified and validated in their abstract forms using other techniques, since these aspects are not covered by the method proposed. Measures of program sizes and execution speeds obtained following the approach proposed are reported; they show that most of the layer code can be produced by automatic tools and the overall software complexity enables the OSI architecture to be implemented for single-board microcomputers.     

试谈计算机软件测试管理的应用

计算机的软件测试是软件工程构成部分之一,同时软件测试也是检验软件开发人员及软件产品是否合格的重要凭据。就软件测试管理系统活动及应用两个方面的内容进行研究,并对管理工具的存在进行简单的介绍。     

A concept for decentralization: Production management — Workstations and their tools

The necessity of more flexibility and shorter response times requires new information tools for running decentralized PM-systems. With the help of personal computers, specifically designed PM-workstations can support this decentralization. In contrast to rather inflexible and sometimes overloaded centralized software such PM-workstations are providing an object-oriented user interface and are specifically designed to the respective functions of the user. Offering the user graphics and window-techniques, these workstations are supporting the user's acting instead of the common passive reacting. A PM-workstation is implemented by layers of tools. It can be used within the PM-information system autonomically, as an intelligent terminal as well as an “agent” in a distributed information system. A special realization of an assembly management workstation is demonstrated.     

SCADA系统设计与实现的原型法

文中力求从广义的角度看待原型化方法，论述了ＳＣＡＤＡ系统开发策略及采用增量式原型法开发ＳＣＡＤＡ系统的全过程，阐明了系统快速生成依赖于辅助原型开发工具，并为之设计，创建了一系列用于界面开发的工具集。     

Studying online: evaluation of an online study environment

This study evaluates student use of an online study environment. Its purposes were to (1) determine if college students will voluntarily use online study tools, (2) identify characteristics of users and nonusers of the tools, and (3) determine if the use of online study tools relates to course achievement. Approximately 25% of students used the online tools for more than one hour before each of three examinations. In comparing use of the study tools provided, the largest number of students made use of the online lecture notes and the greatest amount of online study time was devoted to reviewing multiple choice questions. The perceived ease of access to the Internet differentiated tool users from nonusers. Study tool users scored higher on course examinations after accounting for measures of ability and study skill.     

控制系统校正环节优化设计的计算机辅助分析

结合共轭梯度法,借助于MATLAB软件,提出一种控制系统校正环节优化设计的新方法.该方法利用了MAT-LAB软件中的符号数学工具箱、控制系统工具箱和优化设计工具箱,使设计简单、快捷,提高了编程效率.