This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/subjekt/
n5http://linked.opendata.cz/ontology/domain/vavai/
n11http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F12%3APU101792%21RIV13-MSM-26230___/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F12%3APU101792%21RIV13-MSM-26230___
rdf:type
n5:Vysledek skos:Concept
dcterms: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.
dcterms: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
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
skos:notation
RIV/00216305:26230/12:PU101792!RIV13-MSM-26230___
n5:predkladatel
n9:orjk%3A26230
n3:aktivita
n4:S n4:P n4:Z
n3:aktivity
P(ED1.1.00/02.0070), P(TA01010632), S, Z(MSM0021630528)
n3:cisloPeriodika
157
n3:dodaniDat
n8:2013
n3:domaciTvurceVysledku
n17:1454595 n17:8901015
n3:druhVysledku
n19:J
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
124226
n3:idVysledku
RIV/00216305:26230/12:PU101792
n3:jazykVysledku
n18:eng
n3:klicovaSlova
Authentication Scheme, Key Distribution Scheme, Trace Formulae, Design, Automation
n3:klicoveSlovo
n12:Authentication%20Scheme n12:Design n12:Automation n12:Trace%20Formulae n12:Key%20Distribution%20Scheme
n3:kodStatuVydavatele
CH - Švýcarská konfederace
n3:kontrolniKodProRIV
[2CBCC0D183D9]
n3:nazevZdroje
Applied Mechanics and Materials
n3:obor
n15:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n16:ED1.1.00%2F02.0070 n16:TA01010632
n3:rokUplatneniVysledku
n8:2012
n3:svazekPeriodika
2012
n3:tvurceVysledku
Míchal, Luboš Očenášek, Pavel
n3:zamer
n11:MSM0021630528
s:issn
1660-9336
s:numberOfPages
4
n20:organizacniJednotka
26230