About: An Approach to Automated Design of Security Protocols

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

About: An Approach to Automated Design of Security Protocols 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	This paper deals with a formal specification approach that supports the design of security protocols. After introduction to communication protocols and description of the current problems in the design process, the subsequent section of the paper reviews a framework that is based on the genetic-programming approach. The original contribution consists of presentation of automated system to demonstrate the utilization of this approach for designing protocols that can establish secure communication. Moreover, this paper compares analytical and automated technique that might be used in the design process. This paper deals with a formal specification approach that supports the design of security protocols. After introduction to communication protocols and description of the current problems in the design process, the subsequent section of the paper reviews a framework that is based on the genetic-programming approach. The original contribution consists of presentation of automated system to demonstrate the utilization of this approach for designing protocols that can establish secure communication. Moreover, this paper compares analytical and automated technique that might be used in the design process. (en)
Title	An Approach to Automated Design of Security Protocols An Approach to Automated Design of Security Protocols (en)
skos:prefLabel	An Approach to Automated Design of Security Protocols An Approach to Automated Design of Security Protocols (en)
skos:notation	RIV/00216305:26230/06:PU66888!RIV10-MSM-26230___
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	2010
http://linked.open...aciTvurceVysledku	Švéda, Miroslav 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	464768
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/06:PU66888
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Security Protocol, Automated Design, Verification, Evolutionary Approach, Genetic Algorithm, Genetic Programming<br> (en)
http://linked.open.../riv/klicoveSlovo	Genetic Algorithm Verification Automated Design Evolutionary Approach Genetic Programming<br> Security Protocol
http://linked.open...ontrolniKodProRIV	[F9CAB8EFADC4]
http://linked.open...v/mistoKonaniAkce	Morne
http://linked.open...i/riv/mistoVydani	Los Alamitos
http://linked.open...i/riv/nazevZdroje	Proceedings of the International Conference on Networking (ICN 2006)
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 Švéda, Miroslav
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2006-04-23 (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	IEEE Computer Society
https://schema.org/isbn	0-7695-2552-0
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	An Approach to Automated Design of Security Protocols An Approach to Automated Design of Security Protocols

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