Back to Search
Start Over
Network Information Flow.
- Source :
-
Fundamenta Informaticae . 2006, Vol. 72 Issue 1-3, p167-180. 14p. 1 Diagram. - Publication Year :
- 2006
-
Abstract
- A formal model for an analysis of an information flow in interconnection networks is presented. It is based on timed process algebra which can express also network properties. The information flow is based on a concept of deducibility on composition. Robustness of systems against network timing attacks is defined. A variety of different security properties which reflect different security requirements are defined and investigated. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ALGEBRA
*ROBUST control
*COMPUTER networks
*COMPUTER security
*MATHEMATICS
Subjects
Details
- Language :
- English
- ISSN :
- 01692968
- Volume :
- 72
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Fundamenta Informaticae
- Publication Type :
- Academic Journal
- Accession number :
- 21970942