scientific article
From MaRDI portal
Publication:2763969
zbMath0977.68681MaRDI QIDQ2763969
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2021/20210153
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65) Distributed systems (68M14)
Related Items (5)
Security of multi-agent systems: a case study on comparison shopping ⋮ Upper bound computation of information leakages for unbounded recursion ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Non-Interference Control Synthesis for Security Timed Automata
This page was built for publication:
