AVISPA: Towards Practical Verification of Communication Properties
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82555" target="_blank" >RIV/00216305:26230/09:PU82555 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.3182/20090210-3-CZ-4002.00030" target="_blank" >http://dx.doi.org/10.3182/20090210-3-CZ-4002.00030</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3182/20090210-3-CZ-4002.00030" target="_blank" >10.3182/20090210-3-CZ-4002.00030</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
AVISPA: Towards Practical Verification of Communication Properties
Popis výsledku v původním jazyce
This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of Information Technology (Brno University of Technology, CZ).
Název v anglickém jazyce
AVISPA: Towards Practical Verification of Communication Properties
Popis výsledku anglicky
This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of Information Technology (Brno University of Technology, CZ).
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F08%2F1429" target="_blank" >GA102/08/1429: Bezpečnost a zabezpečení aplikací sítí vestavěných systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
ISBN
978-3-902661-41-8
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
153-156
Název nakladatele
IFAC
Místo vydání
Ostrava
Místo konání akce
Rožnov pod Radhoštěm
Datum konání akce
10. 2. 2009
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—