Detail publikace
Supporting Safe and Secure Networked System Design
ŠVÉDA Miroslav, RYŠAVÝ Ondřej a MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 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
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
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
Konference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
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" }