结构化操作语义

作品数：15被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郭峰刘志锋魏光金暐于洪敏更多>>
相关机构：北方工业大学江苏大学南京航空航天大学南京林业大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《计算机应用与软件》《计算机应用研究》更多>>
相关基金：国家自然科学基金江苏省教育厅自然科学基金国家教育部博士点基金浙江省教育厅科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
GSOS算子下共变-异变模拟的公理刻画被引量：1
《计算机科学》2020年第1期51-58,共8页李苏婷 张严 
国家自然科学基金(61602249);江苏省普通高校自然科学研究资助项目(17KJB520012)~~
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主...
关键词：GSOS 结构化操作语义(SOS) 进程演算 共变-异变模拟 可靠性 完备性 
ntyft/ntyxt算子下共变-异变模拟的前同余性
《计算机技术与发展》2019年第9期40-44,134,共6页李苏婷 张严 
国家自然科学基金(61602249);江苏省普通高校自然科学研究资助项目(17KJB520012)
进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operational semantics,SOS)理论是其重要的两个研究方向。共变-异变模拟(covariant-contravariant simulation,...
关键词：结构化操作语义 共变-异变模拟 ntyft/ntyxt CC-ntyft/ntyxt 前同余性 分层 归约 
一种面向服务Petri网模型及其结构化操作语义被引量：3
《小型微型计算机系统》2013年第12期2739-2743,共5页郭峰 魏光 邓蒙蒙 
国家自然科学基金项目(61070030)资助;北京市属高校学术创新团队建设项目(PHR201107017)资助
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用...
关键词：PETRI网 面向服务 结构化操作语义 
进程网及其自顶向下建模技术研究被引量：1
《数字技术与应用》2013年第11期44-45,共2页石万林 郭峰 
国家自然科学基金项目(61070030;61010332);北京市大学生科研与创业行动计划
提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基...
关键词：PETRI网 进程代数 结构化操作语义 
外刊文摘
《中国信息安全》2010年第5期5-,共1页
Computers&SecurityAprili 2010A framework for security assurance of access control enforcenent code一个访问控制执行码的安全保障框架This paper proposes a security assurance mechanism that formalizes the application beha...
关键词：结构化操作语义 文章 访问控制 应用行为 内部威胁 外刊 文摘 检索工具 
基于操作语义的时间隐通道分析被引量：1
《计算机工程与设计》2009年第7期1593-1595,1599,共4页戴梅 孙国强 刘志锋 
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等...
关键词：隐通道 时间隐通道 抽象机 信息传导 结构化操作语义 
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
《计算机应用与软件》2008年第8期136-137,146,共3页赵小芳 范辉 
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序...
关键词：动态模糊逻辑 动态模糊逻辑程序设计语言 结构化操作语义 
基于操作语义的磁臂隐通道分析被引量：2
《计算机应用研究》2007年第11期157-160,共4页刘志锋 鞠时光 李沛 
国家自然科学基金资助项目(60573046)
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电...
关键词：隐通道 磁臂隐通道 信息传导 结构化操作语义 
关于UML顺序图的结构化操作语义描述的研究
《福建电脑》2007年第11期51-52,共2页杨洋 金暐 
UML规范本身因为描述语言的限制,所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义,对其顺序图做了形式化的描述。
关键词：UML 状态机图 形式化 结构化操作语义 
基于结构化操作语义的安全协议分析框架研究
《计算机科学》2007年第8期101-104,176,共5页高三海 董荣胜 钱俊彦 
国家自然科学基金项目(60663005);广西自然科学基金项目(0542052)的资助
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题。本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,...
关键词：安全协议 形式化方法 分析框架 操作语义 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部