资源类型

期刊论文 2

年份

2018 1

2016 1

关键词

低功耗；触发器；隐性；时钟控制技术；双边沿 1

信息流分析；业务流程执行语言；Petri网；干扰性 1

检索范围：

排序： 展示方式：

使用信息流分析检测Web服务组合隐性信息泄露 None

Jia-xin JIANG, Zhi-qiu HUANG, Wei-wei MA, Yan CAO

《信息与电子工程前沿（英文）》 2018年 第19卷 第4期   页码 494-502 doi: 10.1631/FITEE.1601371

摘要： 提出一种基于信息流分析的有效的自动化方法用于检测业务流程执行语言（BPEL）中的隐性信息泄露。引入Petri网元模型对BPEL进行转换和分析。以Petri网中基于库所的无干扰性概念为基础，使用Petri网可达图分析Petri网干扰性，检测Web服务组合中的隐性信息泄露，并通过一个案例说明该方法在具体BPEL工作流中的应用。

关键词： 信息流分析；业务流程执行语言；Petri网；干扰性    

HTML PDF 收藏

采用内嵌时钟控制技术的低功耗双边沿隐形脉冲触发器 Article

Liang GENG,Ji-zhong SHEN,Cong-yuan XU

《信息与电子工程前沿（英文）》 2016年 第17卷 第9期   页码 962-972 doi: 10.1631/FITEE.1500293

摘要： 概要：本文提出了一种新颖的采用内嵌时钟控制技术的双边沿隐形脉冲触发器（dual-edge implicit pulse-triggered flip-flop with an embedded clock-gating scheme, DIFF-CGS），其在脉冲产生模块中采用了基于时钟控制技术的传输门逻辑。该技术在输入信号不变时关闭反相器链，抑制延迟的时钟信号和锁存器中的冗余跳变，从而降低触发器的功耗。基于SMIC 65 nm工艺的后端仿真结果显示，与相关文献中的同类脉冲型触发器相比，在输入信号开关转换率为10%时，本文提出的DIFF-CGS减少了41.39%–56.21%的功耗。此外，在隐形脉冲发生模块和静态锁存器中节点的全摆幅跳变特性提高了电路的鲁棒性。所以，DIFF-CGS适用于信号转换频率较低的低功耗超大规模集成电路（very-large-scale integration, VLSI）中。

关键词： 低功耗；触发器；隐性；时钟控制技术；双边沿    

HTML PDF 收藏

标题 作者 时间 类型 操作

使用信息流分析检测Web服务组合隐性信息泄露

Jia-xin JIANG, Zhi-qiu HUANG, Wei-wei MA, Yan CAO

期刊论文

采用内嵌时钟控制技术的低功耗双边沿隐形脉冲触发器

Liang GENG,Ji-zhong SHEN,Cong-yuan XU

期刊论文