Team ATEAMS

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Epistemic Modeling for Protocol Analysis

The PhD thesis of Yanjing Wang represents a wide and deep investigation in the application of epistemic modeling for protocol analysis [8] .


previous
next

Logo Inria