An approach for network information flow analysis for systems of embedded components

Authors:
Andrey Chechulin;Igor Kotenko;Vasily Desnitsky
Affiliations:
St. Petersburg Institute for Informatics and Automation (SPIIRAS), St. Petersburg, Russia;St. Petersburg Institute for Informatics and Automation (SPIIRAS), St. Petersburg, Russia;St. Petersburg Institute for Informatics and Automation (SPIIRAS), St. Petersburg, Russia
Venue:
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
Year:
2012

Citing 17
Cited 0

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
A note on the confinement problem

Communications of the ACM
Information Flow Analysis for Fail-Secure Devices

The Computer Journal
Detecting BGP configuration faults with static analysis

NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
A survey of static analysis methods for identifying security vulnerabilities in software systems

IBM Systems Journal
Principles of Model Checking (Representation and Mind Series)

Principles of Model Checking (Representation and Mind Series)
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
IP Covert Channel Detection

ACM Transactions on Information and System Security (TISSEC)
Automated pseudo-live testing of firewall configuration enforcement

IEEE Journal on Selected Areas in Communications - Special issue on network infrastructure configuration
A new construction method for networks from matroids

ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 4
Distributed detection of multi-hop information flows with fusion capacity constraints

IEEE Transactions on Signal Processing
Network information flow

IEEE Transactions on Information Theory
Language-based information-flow security

IEEE Journal on Selected Areas in Communications
Conflict classification and analysis of distributed firewall policies

IEEE Journal on Selected Areas in Communications
Network Information Flow

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Process Algebras for Network Communication

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Systems (devices) with embedded components operate in a potentially hostile environment and have strong recourse limitations. The development of security-enhanced embedded components is a complicated task owning to different types of threats and attacks that may affect the device, and because the security in embedded devices is commonly provided as an additional feature at the final stages of the development process, or even neglected. In the paper we consider an approach to analysis of network information flows in systems containing embedded components. This approach helps to the system engineer to evaluate the embedded system from security point of view and to correct the architecture of future system on early stages of the development.