对信息流控制机制的一点注记——关于可变级机制语义的探讨

本文讨论对可变安全性级的基于执行的信息流控制机制的语义修改     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

无线城市技术在社会公共领域应用探析

介绍了无线城市概念,阐述了无线城市技术WiMAX＋Wi—Fi Mesh原理,探析了其在社会公共安全、应急指挥系统和智能通信系统中的应用。     

试论公安消防机构对行政拘留权的适用

行政拘留作为行政处罚中最严厉的处罚,在整治消防安全环境中被公安消防机构广泛适用,发挥了积极作用,笔者就公安消防机构适用行政拘留处罚的主体、依据、适用情形、常见的问题及其原因进行了阐述。     

公安高等院校研究生导师队伍建设之我见

在公安高等院校内是否能建设和造就一支一流的研究生导师队伍,直接关系到公安系统高素质、高层次人才的培养。在分析公安高等院校导师队伍现状、论证导师队伍意叉的基础上,从管理制度、队伍结构、业务水平、师德师风等方面就如何加强研究生导师队伍建设进行了较为详细的阐述。     

边防部队基层警营文化建设存在的问题原因及对策

近年来,边防部队通过大力开展基层警营文化建设,取得了可喜的成绩,但整体情况仍然滞后,需从多方面分析其存在的问题及原因,才能进一步提出对策,使警营文化效能的发挥达到最佳。     

警卫部队基层建设研究

部队建设的基础在基层,基层建设是警卫部队建设与发展的重要内容,也是警卫事业全面发展的重要保证。在新世纪新阶段,只有以科学发展观为指导,把科学发展观贯穿于警卫部队基层建设的全过程,落实到各项具体工作中,才能使部队建设在安全、有序的环境下得以全面、持续、和谐、健康地发展,才能真正提升部队战斗力,履行好警卫部队肩负的历史使命。     

军用数据库安全审计系统的设计

在指控系统应用过程中,需要审查与系统安全相关的所有操作,并对不安全的操作行为进行报警。根据指控系统中数据库审计四要素的要求,提出将应用系统级审计与数据库级审计相结合的方法,最终实现两种级别审计的统一。解决了以往指控系统审计方式单一的问题,满足了军用数据库安全防护的要求。     

公安消防部队执行反恐怖反分裂任务初探

新世纪的公安消防部队 ,已成为一支多元化的职能部队 ,在反恐怖、反分裂的军事斗争中 ,如何发挥出行动迅捷、指挥得当、装备精良、战法高超、保障有力、敢打必胜的作用 ,直接关系到部队中心任务完成和整体作战水平。结合新形势、新任务、新课题 ,努力探索消防部队在反恐怖、反分裂任务中执行维稳处突、抢险救援的有效途径和作战方法 ,是十分必要的。     

现代恐怖活动的形式特点及对策

警卫工作如何加强防范措施 ,以应对当前恐怖破坏活动不断发展变化的新形势 ,确保各项警卫任务的圆满完成 ,是警卫部队需要解决的重要课题。本文阐述了现代条件下恐怖活动的表现形式和特点 ,提出了警卫工作中反恐怖的对策。