Detail publikace

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.
Název česky
Podpora návrhu bezpečných a zabezpečených síťových systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Klíčová slova

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

Abstrakt

Příspěvek prezentuje principy podpory meta návrhu pro vývoj bezpečných a zabezpečených, na TCP/IP založených síťových aplikačních systémů.

Rok
2011
Strany
22–23
Sborník
Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts
ISBN
978-84-693-9560-8
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
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"
}
Nahoru