Interacting State Machines: A Stateful Approach to Proving Security

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-40981-6_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Hybrid Approach to Proving Memory Reference Monotonicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

New Approach to the State Reduction in Incompletely Specified Sequential Machines

English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Proving Atomicity: An Assertional Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

2014English

A Unified Approach to Scheduling on Unrelated Parallel Machines

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2009English

A Generalized Approach to the Modelling of Modular Machines

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture
IndustrialMechanical EngineeringManufacturing Engineering
1994English

Finite State Machines

2017English

Multicast Congestion Control SRMSH Approach Using Communicating Real-Time State Machines

International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
ModelingEngineeringMultidisciplinaryApplied MathematicsSimulation
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy