位置：成果数据库 > 期刊 > 期刊详情页
Modeling and verifying the Ariadne protocol using process algebra
  • 期刊名称：Comput. Sci. Inf. Syst.
  • 时间：2013.1.1
  • 页码：393-421
  • 相关项目：网络化信息物理计算基础研究
作者： Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si|
同期刊论文项目
网络化信息物理计算基础研究
期刊论文 102 会议论文 54 专利 12
同项目期刊论文
Pitfalls in Identity Based Encryption Using Extended Chebyshev Polynomial
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation
Binary Bell polynomial manipulations on the integrability of a generalized (2 + 1)-dimensional Korte
Explicit solutions from eigenfunction symmetry of the Korteweg–de Vries equation
Towards modeling popularity of microblogs
Predication-based intelligence routing on telecommunications
GENERAL PREDICATE TRANSFORMER AND THE SEMANTICS OF A PROGRAMMING LANGUAGE WITH GO TO STATEMENT
Generating Exact Nonlinear Ranking Functions by Symbolic-Numeric Hybrid Method
对称型的降幂分拆方法与代数不等式的一个判定系统
Backlund Transformations and Solutions of a Generalized Kadomtsev–Petviashvili equation
基于完备剩余格的双标号转换系统
Semantics of non-deterministic possibility computation
Pitfalls in identity based encryption using extended Chebyshev polynomials
Tightly Secure Non-Interactive Multisignatures in the Plain Public Key Model
Pitfalls in identity based encryption using an elliptic curve combined public key
Automaitc RTL Test Generation from SystemC TLM Specifications
Real polynomial iterative roots in the case of nonmonotonicity height
Rotation Estimation for Mobile Robot Based on Single-axis Gyroscope and Monocular Camera
CSP is a retract of CCS
Modeling and Analysis of Interactive Telemedicine Systems
Dhrubajyoti Kalita: Automatic RTL Test Generation from SystemC TLM Specifications
Towards a Modeling Language for Cyber-Physical Systems
Apricot - An Object-Oriented Modeling Language for Hybrid Systems
Vertices in all minimum paired-dominating set of block graphs
Binary bell polynomials Approach to generalized Nizhnik–Novikov–Veselov equation
Binary bell polynomials? bilinear approach to exact periodic wave solutions of (2 +1)-dimensional no
Symmetry reduction and exact solutions of a hyperbolic Monge-Ampere equation
Explicit solutions from eigenfunction symmetry of the Korteweg-de Vries equation
Nonlocal symmetries related to Backlund transformation and their applications
Conservation laws and self-consistent sources for a super integrable equation hierarchy. Commun.
The stochastic semantics and verification for periodic control systems
Discussion on polynomials having polynomial iterative roots
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
Transforming Linear Functional Systems into Fully Integrable Systems
基于符号数值混合计算的混成系统
Nonlocal Symmetries and Exact Solutions for PIB Equation
Prolongation structure of the equation studied by Qiao
Differential elimination with Dixon resultants
Challenges, Promising Solutions and Open Problems of Cyber-Physical Systems
Exact Asymptotic Stability Analysis and Region-of-Attraction Estimation for Nonlinear Systems
Requirements Monitoring for Internetware: An Interaction based Approach
Hybrid MARTE Statecharts
On a generalization of Craig lattices
Asymmetric Group Key Agreement Protocol for Open Networks and Its Application to Broadcast Encryptio
A Generic Framework for Top-k Pairs and Top-k Objects Queries over Sliding Windows
Asymmetric Signature Schemes for Efficient Exact Edit Similarity Query Processing
High efficiency and quality: large graphs matching
Computing rarity on uncertain data
Continuous Ranking on uncertain streams
PDEBellII: A Maple package for finding bilinear forms, bilinear Backlund transformations, Lax pairs
N-fold Darboux transformation and new soliton solutions of one KdV6 equation
Provably Secure One-Round Identity-Based Authenticated Asymmetric Group Key Agreement Protocol
一类积分不等式的机器判定
基于位置的服务: 架构与进展
Modeling and analysis of wireless sensor networks based on AADL
Prolongation structure of the equation studied by Qiao. Commun
A novel requirement analysis approach for periodic control systems
Binary bell polynomials Approach to generalized Nizhnik-Novikov-Veselov equation
Parallel computation of determinants of matrices with multivariate polynomial entries
Nonlocal symmetries and exact solutions for PIB Equation. Commun
Practical round-optimal blind signatures without random oracles or non-interactive zero-knowledge pr
Property Learning Techniques for Efficient Generation of Directed Tests
Symmetry reductions and exact solutions of the two-Layer model in atmosphere
实时系统规范语言STeC的Maude重写系统
基于位置的服务：架构与进展
广告点击率估算技术综述
基于几何形状分析的藏文字符识别
面向不确定图的k最近邻查询
一种变频采样传感器的频率控制算法
基于对象异常频度的数据流阈值查询
面向用户观点分析的多分类器集成和优化技术
基于环境的多形态时间需求建模方法
传感网中的四锚点节点定位实解个数分析
室内移动对象管理的原型系统
An Integrable Discrete Generalized Nonlinear Schr¨odinger Equation and Its Reductions
一种基于曝光量和点击率的用户组优化策略
Some results on the algebraic immunity of Boolean functions
A symmetry-preserving difference scheme for high dimensional nonlinear evolution equations
Novel exact solutions of coupled nonlinear Schro¨dinger equations with time-space modulation
Nonlocal symmetry, optimal systems, and explicit solutions of the mKdV equation
Confidential Procedure Model：a Method for Quantifying Confidentiality Leakage
Binary Bell Polynomials, Bilinear Approach to Exact Periodic Wave Solutions of (2 l 1)-Dimensional Nonlinear Evolution Equations
Can the Polynomial Based Key Predistribution Scheme Be Used Many Times in One Wireless Sensor Network Key Establishment Protocol？