Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Automated Generation and Analysis of Attack Graphs
SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
Electronic Notes in Theoretical Computer Science (ENTCS)
The Space and Motion of Communicating Agents
The Space and Motion of Communicating Agents
Was Stuxnet an Act of War? Decoding a Cyberattack
IEEE Security and Privacy
Hi-index | 0.00 |