基于动态验证的可执行程序安全性逆向分析技术

<正>一、引言软件安全问题已在国际学术界和工程界引起广泛重视。我国的国家计算机网络应急技术处理协调中心(CNCERT/CC)公布的《2009年网络安全工作报告》中重点提出了软件安全性分析的理论和特点,说明在信息安全领域,软件安全性分析已成为一项具有重要实际意义的基础性研究工作。     

毛泽东逸事——与齐白石“争画”

毛泽东设宴,答谢齐白石赠送印章和国画。齐白石愕然,问道：“我什么时候为主席作过画?”毛泽东笑着对秘书说：“把画拿来,请画家亲自验证验证。”     

台“汉光”军演观察

4月16日-20日,台军按计划组织了‘汉光28号”演习实兵演练。演练旨在验证“固安作战计划”,抵御大陆军队的陆上和空中袭击,采取“分区、同时”与“实兵、不实弹”方式,以联战任务行动为基础,聚焦于创新与不对称战力的验证与整合,连续5天进行攻防对抗。     

2013年度司法鉴定能力验证召开专家评审会

8月17日至18日，2013年度司法鉴定能力验证专家评审会在上海召开。会议共邀请来自各系统、各领域的专家69名，分别对2013年度能力验证结果和2014年度能力验证计划进行评审。     

镇江市人事局加强工作效能督查

江苏省人事厅最近发出通知，对我省专业技术人员继续教育登记制度中验豆腐皮工作的有关问题作出规定。     

台湾华航客机在日爆炸起火

8月23日上午，中国国际航空公司一架采用了区域导航技术（RNP）的空客A319飞机顺利降落在拉萨贡嘎机场．这是空客在全球的首次RNP成功验证飞行。RNP技术的成功应用，进一步提升了往来于中国西部高原的航班安全运行能力。     

电视教育频道消费态度的结构模型和验证分析

电视教育频道消费态度是教育传播心理学研究领域及电视传媒运作的重要课题。本研究数据来源于环洞庭湖四个城市（沅江、常德、岳阳、长沙）312名被访者的入户调查。探索性分析的结果表明,电视教育频道消费态度包括5个因子,即“积极性”、“活力性”、“气质性”、“和谐性”和“文化性”。验证性分析的结果验证了5因子结构模型的合理性。基于5因子的聚类分析结果得到了“积极倾向”、“教育倾向”、“和谐倾向”以及“文化倾向”等教育频道消费态度。     

麦克斯韦速率分布律的实验验证装置的改进

理论的正确性,首先就是要得到相关实验的验证。只有充分保证实验验证的科学性和准确性,才能保证理论的科学性。1934年,我国物理学家葛正权先生利用铋蒸气验证了麦克斯韦速率分布律。但高等教育出版社出版的《物理学》(上卷)(刘克哲编1999年9月第2版)(以上简称《物理学》)第225页所介绍的实验装置有必要作改进,才能更加符合葛正权先生的实验原理。     

《物权法》的新古典主义国家理论阐释

《物权法》及其以前有关宪法的修改说明,国家在最大化国家利益的同时,也在努力界定产权和保护有效产权,从而降低交易成本、提高经济绩效.《物权法》的出台过程是验证新古典主义国家理论的又一经典案例.     

笔迹量化鉴定与统计学分析的研究综述

笔迹鉴定主要依靠专家的经验判断,缺乏科学有效的量化测量和分析手段,是当前制约学科发展的瓶颈。在客观的、量化的技术手段普遍应用于法庭科学背景下,笔迹鉴定需要走量化和统计分析的道路。通过梳理近些年笔迹特征量化的方法和笔迹特征统计学分析的方法,讨论这些研究对笔迹量化鉴定的贡献和局限性,并对基于似然比模型的笔迹证据价值评估的研究进行综述,以期增强笔迹鉴定中比较分析与评估的科学基础。同时,还探讨了笔迹量化鉴定和统计学分析的发展趋势。