About: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae

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

About: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae 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	The security protocols are widely used for providing safe communication. They are used for creating private communication channels in unsecured area. This paper deals with the concept of design of such protocols and their properties. The paper starts with the properties and requirements of designed protocol, followed by the description of the design concept based on the trace formula and the process of its automation within the design library. The presented library supports both the handling of protocol properties and protocol design. The paper concludes with some examples of generated protocols. The security protocols are widely used for providing safe communication. They are used for creating private communication channels in unsecured area. This paper deals with the concept of design of such protocols and their properties. The paper starts with the properties and requirements of designed protocol, followed by the description of the design concept based on the trace formula and the process of its automation within the design library. The presented library supports both the handling of protocol properties and protocol design. The paper concludes with some examples of generated protocols. (en)
Title	Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae (en)
skos:prefLabel	Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae (en)
skos:notation	RIV/00216305:26230/12:PU101792!RIV13-MSM-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(TA01010632), S, Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	157
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Míchal, Luboš Očenášek, Pavel
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	124226
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/12:PU101792
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Authentication Scheme, Key Distribution Scheme, Trace Formulae, Design, Automation (en)
http://linked.open.../riv/klicoveSlovo	Authentication Scheme Design Key Distribution Scheme Trace Formulae Automation
http://linked.open...odStatuVydavatele	CH - Švýcarská konfederace
http://linked.open...ontrolniKodProRIV	[2CBCC0D183D9]
http://linked.open...i/riv/nazevZdroje	Applied Mechanics and Materials
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence SCADA System for Real-time Control and Monitoring of Processes
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	2012
http://linked.open...iv/tvurceVysledku	Míchal, Luboš Očenášek, Pavel
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	1660-9336
number of pages	4 (xsd:int)
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae

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