Publication Details

Supporting Safe and Secure Networked System Design

ŠVÉDA Miroslav, RYŠAVÝ Ondřej and MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 22-23. ISBN 978-84-693-9560-8.
Czech title
Podpora návrhu bezpečných a zabezpečených síťových systémů
Type
conference paper
Language
english
Authors
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT)
Keywords

Networked applications design support, TCP/IP, changing network topology, model checking, SAT solver

Abstract

This paper presents principles of a meta-design support for end-user development of safe and secure TCP/IP-based networked application systems. The presented approach offers a reusable framework for Internet-based system applications with dynamically changing topology due to HW/SW faults and security flaws. That framework provides a development environment kernel adaptable for various safety/security critical system application domains. The paper discusses this framework not only from the viewpoint of framework builders, but also end-user developers. In this context, it demonstrates how to use that approach for a safety and security-critical application based on Internet.

Published
2011
Pages
22-23
Proceedings
Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts
Conference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Gran Canaria, ES
BibTeX 
@INPROCEEDINGS{FITPUB9483,
   author = "Miroslav \v{S}v\'{e}da and Ond\v{r}ej Ry\v{s}av\'{y} and Petr Matou\v{s}ek",
   title = "Supporting Safe and Secure Networked System Design",
   pages = "22--23",
   booktitle = "Computer Aided Systems Theory (EUROCAST11), Extended Abstracts",
   year = 2011,
   location = "Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-693-9560-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9483"
}
Back to top