Amanote Research

Amanote Research

    RegisterSign In

Stateful Protocol Composition

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-99073-6_21
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2018

Authors
Andreas V. HessSebastian A. MödersheimAchim D. Brucker
Publisher

Springer International Publishing


Related search

Non-Markov Stateful Evolutionary Games

2017English

Stateful Three-Input Logic With Memristive Switches

Scientific Reports
Multidisciplinary
2019English

Stateful Intrusion Detection for High-Speed Network's

English

A Stateful Mechanism for the Tree-Rule Firewall

2014English

Model-Based Testing of Stateful APIs With Modbat

2015English

Interacting State Machines: A Stateful Approach to Proving Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Dynamic Scaling of Call-Stateful SIP Services in the Cloud

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems

2017English

Stateful Intrusion Detection for IEC 60870-5-104 SCADA Security

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy