Behavioral Consistency Checking between Requirements and Implementations

来源 :武汉大学自然科学学报（英文版） | 被引量 : 0次 | 上传用户：cqssq

【作者】

：

XUYong，LINGXiang，WUGuoqing，HUANGBo

【出处】

：

武汉大学自然科学学报（英文版）

【发表日期】

：

2014年6期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

A Signcryption Scheme Based on Self-Certified Cryptography

Self-certified signcryption can remove key escrow problem and certification management problem.Based on Boneh and Boyen’s short signature scheme,a secure self-

期刊

A Lightweight Secure Network Coding Scheme against Wiretapping

Existing works for securing network coding against wiretapping either incur high coding complexity or bring large bandwidth overhead.For exploiting the lightwei

期刊

Upper Bounds of Differential Characteristic Probability for Unbalanced Feistel Network Employing DSM

In this paper,for the unbalanced Feistel network which employs diffusion matrices in a switching way,we study the fixed number of its differential active S-boxe

期刊

On Nonsingularity and Group Inverse of Linear Combinations of Generalized and Hypergeneralized Proje

期刊

HERG1 K+ Channels on the Leukemic Cells Mediated Angiogenesis in vitro

期刊

Data Secure Transmission Model Based on Compressed Sensing and Digital Watermarking Technology

期刊

Kernel Function-Based Primal-Dual Interior-Point Methods for Symmetric Cones Optimization

期刊

Review of Public-Key Cryptosystem Based on the Error Correcting Code

期刊

Fragile Audio Watermarking with Perfect Restoration Capacity Based on an Adapted Integer Transform