Elements of security: Closure, convergence, and protection

DOI10.1016/S0020-0190(00)00207-6zbMATH Open1003.68086OpenAlexW2047847216MaRDI QIDQ1607088

Mohamed G. Gouda

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00207-6

zbMATH Keywords

system security

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Cites Work

• Self-stabilization
• Self-stabilizing systems in spite of distributed control

This page was built for publication: Elements of security: Closure, convergence, and protection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607088)