Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thai Son Hoang
Analysing Security Protocols Using Refinement in iUML-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Developing Security Protocols by Refinement
Modelling the Embedded Control System Using iUML-B Pattern State Machine
Journal of Control Science and Engineering
Electronic Engineering
Simulation
Computer Science Applications
Electrical
Modeling
Using Backward Induction Techniques in (Timed) Security Protocols Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bounded Retransmission in iUML-B State Machine: A Case Study
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
Verification of Security Protocols
Security Considerations in Current Voip Protocols
SECFUZZ: Fuzz-Testing Security Protocols
