A formal model for event reconstruction in digital forensic investigation

Event reconstruction is an important phase in digital forensic investigation, which determines what happened during the incident. The digital investigator uses the findings of this phase to prepare reports for the court. Since the results must be reproducible and verifiable, it is necessary that the event reconstruction methods be rigorous and strict. In order to fulfill the legal requirements, this study proposes an event reconstruction framework which is based on the formal mathematical methods. In particular, it uses the temporal logic model checking that is an automatic verification technique. The idea is that the system under investigation is modeled as a transition system. Then the digital forensic property is specified using the modal μ-calculus. Finally, a model checking algorithm verifies whether the transition system meets the property. In order to demonstrate the proposed formal event reconstruction framework, an abstract model of the FAT file system is presented and some digital forensic properties are formulated. A big problem in model checking is the so-called state space explosion. This study addresses this problem and suggests some solutions to it. Finally, the proposed framework is applied to a case study to demonstrate how some hypotheses can be proved or refuted.     

数字图像处理在尸体面貌辨认照相中的应用

本文就数字图像处理技术在尸体面貌辨认照相中对尸体面部肤色的调整,伤痕、残缺部位的修复和在尸体面貌辨认相片拼接中的应用以及处理后的尸体面貌辨认相片在公安刑侦系统内部局域网上的应用作了阐述。     

法律数字化现象研究

法律的数字化是一个值得关注但至今尚未被充分关注的现象.法律与数字相结合的内在机理体现在两方面:现实存在的模糊性导致我们必须通过数字化的形式以达致认识的精确性,而现实存在的秩序性使得通过数字化的形式来表达法律成为可能;数字的格式化特征与法律所追求的客观性不谋而合,而法律所需要的可操作性恰可借助数字的工具功能得以满足.数字化是法律形式化的主要实现途径,数字赋予了法律以科学性、客观性及正当性,法律的数字化可有效地规范自由裁量权.法律对数字的过度依赖也容易导致实质上的不平等,且将会引发功利主义的泛滥.法律的工具理性需要数字化,而人性则是无法数字化的.法律的数字化只能是有限的、相对的.     

金砖国家数字经济合作现状与前景北大核心

在全球政治与经济发展复杂多变的今天,金砖国家数字经济发展势头较好,大数据、云计算、物联网、人工智能等新兴技术领域持续保持发展活力,"新零售""新制造"等也在不断改变人们的生活日常,并逐渐影响着人类社会治理领域一系列的价值观念。金砖国家通过不断完善合作机制,促进数字经济创新发展,取得的进步有目共睹,数字金砖已成为带动世界经济增长、推动全球经济治理体系变革的重要力量。鉴于数字经济发展本身特有的规律特点,金砖国家在深度合作方面也面临现实挑战,特别是有必要重新认识技术突破国界带来的国家安全风险问题以及数字巨头权力过度扩张对国际格局带来的影响等。在今后合作路径方面,金砖国家间可通过开展功能性合作,不断磨合彼此的差异和分歧,共同探寻数字利益增长空间,携手开启和合共生、命运与共的数字经济新未来。     

关系契约论视角下数字平台用工惩戒规则的失控与纠偏

数字平台创造了新型的灵活用工模式,但同时也突破了传统劳动法律体系的限制,使在平台下谋生的网约工失去了法律的保护.平台惩戒规则作为数字泰勒主义的成文表现,是平台借助数字技术对网约工进行劳动控制的重要工具.然而这种规则在民事契约下的形式平等中消解了网约工的权益,其所产生的压迫问题已经引起舆论关注.研究认为,以古典契约理论建...     

数字经济时代的新型国际竞争北大核心

数字竞争力是数字经济时代塑造新型国际关系和国际体系的核心力量。数据作为新型生产要素和数字竞争力的核心要素,不仅加速了数字企业竞争力的形成,同时也为新型数字巨头的垄断创造了必要条件。值得重视的是,数字企业在给国家科技研发带来积极影响的同时,其垄断本身也给市场竞争和社会公平带来了负面问题,导致出现全球性数字寡头反垄断的难题。因此,需要在国际竞争的大背景下,进一步认识反垄断和技术保护的关系,并在保障数字科技企业核心竞争力中进行反垄断,提升国家数字竞争力和维护国家数据安全,进而强化国家在国际体系中的数字权力地位。