Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sebastian A. Mödersheim
Stateful Protocol Composition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Non-Markov Stateful Evolutionary Games
Stateful Three-Input Logic With Memristive Switches
Scientific Reports
Multidisciplinary
Stateful Intrusion Detection for High-Speed Network's
A Stateful Mechanism for the Tree-Rule Firewall
Model-Based Testing of Stateful APIs With Modbat
Interacting State Machines: A Stateful Approach to Proving Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Scaling of Call-Stateful SIP Services in the Cloud
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems
Stateful Intrusion Detection for IEC 60870-5-104 SCADA Security