Conference paper

 
Švéda, M., Ryšavý, O., Matoušek, P.: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, p. 22-23, ISBN 978-84-693-9560-8
Publication language:english
Original title:Supporting Safe and Secure Networked System Design
Title (cs):Podpora návrhu bezpečných a zabezpečených síťových systémů
Pages:22-23
Proceedings:Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts
Conference:Thirteen International Conference On Computer Aided Systems Theory
Place:Las Palmas de Gran Canaria, ES
Year:2011
ISBN:978-84-693-9560-8
Publisher:The Universidad de Las Palmas de Gran Canaria
Keywords
Networked applications design support, TCP/IP, changing network topology, model checking, SAT solver
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav Švéda and Ondřej Ryšavý and Petr Matoušek},
   title = {Supporting Safe and Secure Networked System Design},
   pages = {22--23},
   booktitle = {Computer Aided Systems Theory (EUROCAST´11), 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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9483}
}