Amanote Research
Register
Sign In
Verification of Population Ring Protocols in PAT
doi 10.1109/tase.2009.51
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2009
Authors
Yang Liu
Jun Pang
Jun Sun
Jianhua Zhao
Publisher
IEEE
Related search
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Formal Verification of Netlog Protocols
Protocols for Watermark Verification
IEEE Multimedia
Media Technology
Signal Processing
Hardware
Computer Science Applications
Architecture
Software
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications
First-Order Verification of Cryptographic Protocols
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
AnBx - Security Protocols Design and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science