A Trusted Model of Complex Computer Networks
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F16%3A00301065" target="_blank" >RIV/68407700:21230/16:00301065 - isvavai.cz</a>
Result on the web
<a href="http://riverpublishers.com/journal/journal_articles/RP_Journal_2245-800X_332.pdf" target="_blank" >http://riverpublishers.com/journal/journal_articles/RP_Journal_2245-800X_332.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.13052/jicts2245-800X.332" target="_blank" >10.13052/jicts2245-800X.332</a>
Alternative languages
Result language
angličtina
Original language name
A Trusted Model of Complex Computer Networks
Original language description
Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a formal model based on the concept of multilayer networks for applying a system methodology to network analysis and an appropriate presentation format of architecture descriptions as a possible part of detailed design documentation that could allow automated generation of trusted formal multilayer models based on this documentation.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/VI20152020008" target="_blank" >VI20152020008: Comprehensive fiber optic sensor security of critical infrastructures and objects using modern information systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of ICT Standardization
ISSN
2245-800X
e-ISSN
—
Volume of the periodical
3
Issue of the periodical within the volume
3
Country of publishing house
DK - DENMARK
Number of pages
30
Pages from-to
201-230
UT code for WoS article
—
EID of the result in the Scopus database
—