Network Information Flow

R Ahlswede,N Cai,RW Yeung

Fundamenta Informaticae（1998）CCF CSCI 4区

Univ Bielefeld

被引用10923|浏览9

摘要

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.

更多

查看译文

关键词

information flow,different security property,different security requirement,interconnection network,network property,network timing attack,formal model,

AI Read Science

溯源树

样例