唐冶文

作品数:8被引量:12H指数:3
导出分析报告
供职机构:上海交通大学更多>>
发文主题:PETRI网计算机安全信息安全形式化开发形式化更多>>
发文领域:自动化与计算机技术电子电信更多>>
发文期刊:《计算机应用与软件》《小型微型计算机系统》《计算机工程》《电视技术》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-8
视图:
排序:
NetWare/FOXPRO数据库应用系统的安全
《计算机应用与软件》2001年第2期1-6,70,共7页唐冶文 段成林 白英彩 
FOXPRO RDBMS是一种安全性很弱的关系数据库管理系统,而一般的FOXPRO数据库应用系统除了口令字机制之外,也很少有其它的保护措施。为此,本文提出一种称为“角色-视图”关系的适应于办公室环境的数据库访问控制策略。在这种策略的指导下...
关键词:NETWARE 关系数据库 应用系统 FroPro 信息安全 
有色Petri网的一种面向对象扩展形式
《小型微型计算机系统》1999年第4期300-306,共7页唐冶文 白英彩 段成林 
Petri网与面向对象技术的结合一直是一个令人感兴趣的研究课题.本文把有色Petri网引入到面向对象方法中,提出了一种面向对象的扩展有色Petri网,简称为OECPN,目的是将之应用于面向对象的并行软件设计,所以OE...
关键词:PETRI网 面向对象 并行程序 程序设计 
分布式自治域安全的认证研究被引量:3
《计算机工程》1998年第6期38-40,共3页余巍 吕葵 唐冶文 白英彩 
对分布式系统的安全认证机理进行了分析,在深入剖析一个安全协议的基础上,对它进行了扩充;同时通过分析与比较几种著名的安全认证系统,就分布式系统的安全城模型认证框架进行了研究。
关键词:多域安全 安全认证 分布式计算机 
交互电视机顶盒功能与构成剖析
《电视技术》1997年第10期30-33,共4页段成林 唐冶文 白英彩 
机顶盒是交互式电视中重要的组成部分。目前,世界各大公司(如IBM、HP等)都在大力研究和开发机顶盒的新产品。本文阐述了机顶盒在交互式电视中所起的作用,并对机顶盒的结构和工作原理作了详细分析。
关键词:机顶盒 交互式电视 视频点播 异步传输模式 
信息安全形式化开发中的模型方法被引量:4
《小型微型计算机系统》1997年第9期26-31,共6页唐冶文 余巍 白英彩 
安全策略模型是计算机安全的形式化开发过程中的关键步骤。本文深入分析了系统安全的两类模型——存取控制模型和信息流模型,指出了它们之间的区别和联系。在此基础上,文章对在安全的形式化开发的需求分析、系统设计和设计验证三个阶...
关键词:形式化 信息流模型 计算机安全 信息安全 
自主存取控制的 Petri 网建模和分析
《上海交通大学学报》1997年第8期66-70,共5页唐冶文 余巍 白英彩 
对计算机系统安全中的自主存取控制Take-Grant模型提出了一种有色Petri网表达.并用可达性树技术对can.share问题提供了一个更为简明实用的解答.文中用一个实际的信息处理系统为例。
关键词:PETRI网 计算机系统 自主存取控制 安全性 
开放式互联网络中的安全模型研究被引量:2
《计算机工程》1997年第6期7-9,共3页金巍 唐冶文 白英彩 
文章对开放式系统的安全进行了综述,着重描述了开放式环境的世界模型和安全域关系模型,在OSI协议层的基础上,对OSI的安全协议模型进行了研究.
关键词:互联网络 安全模型 INTERNET网 开放式 
Unix系统的安全研究被引量:3
《微电脑世界》1997年第5期75-77,共3页余巍 周立 唐冶文 白英彩 
一、概述 60年代中期开始,美国官方正式提出计算机安全问题,1981年成立国防部安全中心(NCSE),1983年正式发布《桔皮书》,建立了有关计算机安全的重要概念,影响了一代产品的研制和生产,至今仍具有权威性。ISO在提出OSI/RM以后,紧接着义...
关键词:UNIX系统 计算机安全 操作系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部