scientific article; zbMATH DE number 1122463
From MaRDI portal
Publication:4379559
zbMath0883.00029MaRDI QIDQ4379559
No author found.
Publication date: 2 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68M99)
Related Items
An interdependency index for the outputs of uncertain systems ⋮ Unnamed Item ⋮ A probabilistic approach to the arithmetics of fuzzy numbers ⋮ Preservation of probabilistic information flow under refinement ⋮ Standards and verification for fair-exchange and atomicity in e-commerce transactions ⋮ On integrating confidentiality and functionality in a formal method ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Possibilistic Information Flow Control in the Presence of Encrypted Communication ⋮ A truly concurrent semantics for a process algebra using resource pomsets