ANSI ISO/IEC 13211-1-1995 信息技术.Prolog语言.第1部分:被INCITS采纳的一般核心

作者:标准资料网 时间:2024-05-21 13:07:27   浏览:8055   来源:标准资料网
下载地址: 点击此处下载
【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Part1:GeneralcoreAdoptedbyINCITS
【原文标准名称】:信息技术.Prolog语言.第1部分:被INCITS采纳的一般核心
【标准号】:ANSIISO/IEC13211-1-1995
【标准状态】:现行
【国别】:美国
【发布日期】:1995-06-01
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语


下载地址: 点击此处下载
基本信息
标准名称:计算机信息系统 安全保护等级划分准则
英文名称:Classified criteria for security protection of computer information system
中标分类: 电子元器件与信息技术 >> 电子元器件与信息技术综合 >> 卫生、安全、劳动保护
ICS分类: 信息技术、办公机械设备 >> 信息技术(IT)综合
发布部门:国家质量技术监督局
发布日期:1999-09-13
实施日期:2001-01-01
首发日期:1999-09-13
作废日期:1900-01-01
主管部门:国家标准化管理委员会
提出单位:中华人民共和国公安部
归口单位:中华人民共和国公安部
起草单位:清华大学、北京大学、中国科学院
起草人:胡道元、王立福、卿斯汉、景乾元、那日松、李志鹏、蔡庆明、朱卫国、陈钟
出版社:中国标准出版社
出版日期:2001-01-01
页数:8页
书号:155066.1-16395
适用范围

本标准规定了计算机信息系统安全保护能力的五个等级,即:第一级:用户自主保护级;第二级:系统审计保护级;第三级:安全标记保护级;第四级:结构化保护级;第五级:访问验证保护级。本标准适用于计算机信息系统安全保护技术能力等级的划分。计算机信息系统安全保护能力随着安全保护等级的增高,逐渐增强。

前言

没有内容

目录

没有内容

引用标准

没有内容

所属分类: 电子元器件与信息技术 电子元器件与信息技术综合 卫生 安全 劳动保护 信息技术 办公机械设备 信息技术(IT)综合
【英文标准名称】:Informationtechnology-OSI-DistributedTransactionProcessing-Part5:ApplicationcontextproformaandguidelineswhenusingOSITP
【原文标准名称】:信息技术.开放系统互连.分布式事务处理.第5部分:使用OSITP时的应用上下文形式表和指南
【标准号】:ANSI/INCITS/ISO/IEC10026-5-1998
【标准状态】:现行
【国别】:美国
【发布日期】:1998
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数据处理;信息技术;开放系统互连
【英文主题词】:Communicationprocesses;Dataprocessing;Informationinterchange;Informationtechnology;Networkinterconnection;OSI;Transaction-oriented
【摘要】:ThisapplicationcontextdefinestheuseofOSITPwiththePropagateASEtosupporttherequesting,ononeassociation,ofthereliable(atomic)replicationofaftletoseveraldestinations,usingthecommittedfilesendingapplicationcontextforthecopyingofthefile.
【中国标准分类号】:L79
【国际标准分类号】:35_100_70
【页数】:
【正文语种】:英语