位置：成果数据库 > 会议 > 会议详情页
Formalizing Kerberos Protocol with CSP Methods
  • 所属机构名称：华东师范大学
  • 会议名称：Proc. CSIE 2009: 2009 World Congress on Computer Science and Information Engineering, IEEE Computer
  • 成果类型：会议
  • 会场：Los Angeles/Anaheim
  • 相关项目：Web事务的模型和语义研究
作者： Zhu Longfei|Yang Fan|Zhu Huibiao|Li Qin|
同会议论文项目
Web事务的模型和语义研究
期刊论文 7 会议论文 23
同项目会议论文
Property Checking for Design Patterns
Formal Modeling and Verifications of Deadlock Prevention Solutions in Service Oriented System
Animating the Link between Operational Semantics and Algebraic Semantics for a Timed Probabilistic S
Promoting Models
A Probabilistic BPEL-like Language
A Denotational Semantical Model for Orc Language
Towards the Service Composition Through Buses
An Observational Model for Transactional Calculus of Services Orchestration
Denotational Approach to an Event-driven System-level Language
Specifying and Verifying Web Transactions
Transaction Calculus
Formalizing MapReduce with CSP
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture
Locality-based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an
Modeling MapReduce with CSP
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
Probabilistic Model of System Survivability
Formal Approaches to Location Management in Mobile Communications
Towards Specification and Refinement of Contracts with Environment Changes
Towards a Pomset Semantics for a Shared-Variable Parallel Language
Probabilistic Programming with Coordination
Generating Denotational Semantics from Algebraic Semantics for Event-driven System-level Language.