Result Details
Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach
ŠVÉDA, M.; VRBA, R. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013. p. 101-106. ISBN: 978-1-4673-5943-6.
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Vrba Radimír, prof. Ing., CSc., CEITEC (CEITEC), RG-2-02 (CEITEC), UMEL (FEEC)
Vrba Radimír, prof. Ing., CSc., CEITEC (CEITEC), RG-2-02 (CEITEC), UMEL (FEEC)
Abstract
This paper deals with an approach to security analysis of IP-based computer networks for cyber-physical applications. The method developed stems from a formal model of network topology with changing link states, and deploys bounded model checking of network security properties supported by SAT-based decision procedure. Its implementation consists of a set of tools that provide automatic analysis of router configurations, network topologies, and states with respect to checked properties.
Keywords
Cyber-physical system, security analysis, IP networks
Published
2013
Pages
101–106
Proceedings
IEEE Proceedings AFRICON 2013
Conference
IEEE AFRICON 2013 Conference
ISBN
978-1-4673-5943-6
Publisher
Institute of Electrical and Electronics Engineers
Place
New York
BibTeX
@inproceedings{BUT103502,
author="Miroslav {Švéda} and Radimír {Vrba}",
title="Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach",
booktitle="IEEE Proceedings AFRICON 2013",
year="2013",
pages="101--106",
publisher="Institute of Electrical and Electronics Engineers",
address="New York",
isbn="978-1-4673-5943-6"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
SCADA system for control and monitoring RT processes, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, start: 2011-01-01, end: 2013-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
SCADA system for control and monitoring RT processes, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, start: 2011-01-01, end: 2013-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments