Publication Details

Supporting Safe and Secure Networked System Design

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 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. (UTKO)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
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
ISBN
978-84-693-9560-8
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Gran Canaria
BibTeX 
@inproceedings{BUT76271,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Petr {Matoušek}",
  title="Supporting Safe and Secure Networked System Design",
  booktitle="Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts",
  year="2011",
  pages="22--23",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="978-84-693-9560-8"
}
Back to top