scientific article; zbMATH DE number 2064461
From MaRDI portal
Publication:4461952
zbMath1111.68497MaRDI QIDQ4461952
Publication date: 18 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
Related Items
Checking noninterference in timed CSP ⋮ Non-Interference Control Synthesis for Security Timed Automata