✦ LIBER ✦

Symbolic algorithmic verification of intransitive generalized noninterference

✍ Scribed by Zhou, CongHua; Liu, ZhiFeng; Wu, HaiLing; Chen, Song; Ju, ShiGuang

Book ID: 113083171
Publisher: Science in China Press (SCP)
Year: 2011
Tongue: English
Weight: 375 KB
Volume: 55
Category: Article
ISSN: 1674-733X
DOI: 10.1007/s11432-011-4372-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the verification of intransitive noni

On the verification of intransitive noninterference in mulitlevel security

✍ Hadj-Alouane, N.B.; Lafrance, S.; Feng Lin; Mullins, J.; Yeddes, M.M. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 563 KB

Generation and Verification of Algorithm

Generation and Verification of Algorithms for Symbolic-Numeric Processing

✍ L. Kocbach; R. Liska 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 476 KB

Some large scale physical computations require algorithms performing symbolic computations with a particular class of algebraic formulas in a numerical code. Developing and implementing such algorithms in a numerical programming language is a tedious and error prone task. The algorithms can be devel

Dynamic verification of C++ generic algo

Dynamic verification of C++ generic algorithms

✍ Changqing Wang; Musser, D.R. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 138 KB

Analysis and verification of real-time s

Analysis and verification of real-time systems using quantitative symbolic algorithms

✍ Sérgio Vale Aguiar Campos; Edmund Clarke 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 177 KB

Algorithm of symbol generation and confi

Algorithm of symbol generation and configuration of land polygons in present land-use map

✍ Xiao-qing ZUO; Jun-tang NIE 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 388 KB