About: Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Článek pojednává o modálních logikách používaných pro analýzu bezpečnostních protokolů.<br> (cs) Weaknesses in authentication protocols (AP) are hard to identify, as they can be the result of subtle design flaws. The formal verification of authentication protocols may be done in two ways. One possibility is to use a modal logic of authentication. The other possibility is to use general purpose formal methods. This paper provides a survey through the world of modal logics used in AP and gives a comparison of different variants of modal logics and their target areas of application. Weaknesses in authentication protocols (AP) are hard to identify, as they can be the result of subtle design flaws. The formal verification of authentication protocols may be done in two ways. One possibility is to use a modal logic of authentication. The other possibility is to use general purpose formal methods. This paper provides a survey through the world of modal logics used in AP and gives a comparison of different variants of modal logics and their target areas of application. (en)
Title	Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison Modální logiky používané pro analýzu autentizačních protokolů: přehled a srovnání (cs) Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison (en)
skos:prefLabel	Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison Modální logiky používané pro analýzu autentizačních protokolů: přehled a srovnání (cs) Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison (en)
skos:notation	RIV/00216305:26230/06:PU66869!RIV07-MSM-26230___
http://linked.open.../vavai/riv/strany	401-404
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/05/0467), P(GA102/05/0723), P(GD102/05/H050), Z(MSM0021630503)
http://linked.open...vai/riv/dodaniDat	2007
http://linked.open...aciTvurceVysledku	Trchalík, Roman Očenášek, Pavel
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	486054
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/06:PU66869
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	authentication protocol, modal logic, design, verification (en)
http://linked.open.../riv/klicoveSlovo	design modal logic verification authentication protocol
http://linked.open...ontrolniKodProRIV	[7D2BF0CCFA62]
http://linked.open...v/mistoKonaniAkce	Rožnov pod Radhoštěm
http://linked.open...i/riv/mistoVydani	Ostrava
http://linked.open...i/riv/nazevZdroje	Proceedings of the 7th International Carpathian Control Conference
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems Architectures of Embedded Systems Networks A Framework for Formal Specifications and Prototyping of Information System's Network Applications
http://linked.open...UplatneniVysledku	2006
http://linked.open...iv/tvurceVysledku	Očenášek, Pavel Trchalík, Roman
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2006-05-28 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Nové trendy v mikroelektronických systémech a nanotechnologiích (MIKROSYN)
number of pages	4 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoká škola báňská - Technická univerzita Ostrava
https://schema.org/isbn	80-248-1066-2
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software