Conference paper

Š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.
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{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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=9483}
}

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]