BOOK-CHAPTER

Fine-Grained and Coarse-Grained Reactive Noninterference

Pejman AttarIlaria Castellani

Year: 2014 Lecture notes in computer science Pages: 159-179   Publisher: Springer Science+Business Media
Keywords:
Computer science Instant Scheduling (production processes) Semantics (computer science) Context (archaeology) Distributed computing Parallel computing Programming language Mathematical optimization Mathematics

Metrics

1
Cited By
0.36
FWCI (Field Weighted Citation Impact)
20
Refs
0.61
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Security and Verification in Computing
Physical Sciences →  Computer Science →  Artificial Intelligence
Distributed systems and fault tolerance
Physical Sciences →  Computer Science →  Computer Networks and Communications
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
© 2026 ScienceGate Book Chapters — All rights reserved.