Affordable Access

On Building Secure Communication Systems

Authors
Publisher
Technical University of Denmark
Publication Date
Keywords
  • Denne Afhandling PræSenterer Softwareplatformen Guided System Development (Gsd)
  • Der Har Til Formål At UnderstøTte Udviklingen Af Sikre Kommunikations-Systemer
  • <Br/><Br/>Et Kommunikationssystem Er Specificeret I Et Sprog Der Minder Om Alice Og Bob Notationen
  • Et Simpelt Og Intuitivt Sprog Der Beskriver Det Globale Syn På Kommunikation Mellem Forskellige Akt
  • Notationen Brugt På Gsd Platformen Udvider Denne Notation Med Begreber Der Tillader At Sikkerhedskr
  • <Br/><Br/>Ud Fra Denne Specifikation Bliver Udvikleren FøRt Gennem En Delvis Automatisk OversæTtel
  • Der MuliggøR Verificering Og Implementering Af Systemet
  • Over-SæTtelsen Er Delvis
  • Fordi Udvikleren Har Mulighed For At VæLge Hvilken Imple-Mentation Der Skal Bruges For At Opnå De
  • Implemen-Tationsmulighederne Er Givet Ved Moduler Defineret Til Platformen
  • Platformens Fleksibilitet Tillader At Der Bliver TilføJet Yderligere Begreber Der Modellerer Nye Si
  • <Br/><Br/>For At Kunne Give StæRkere Sikkerhedsgarantier Kan Specifikationen Blive Veri-Ficeret Af
  • Så Som Beliefs And Knowledge (Bak) — Udviklet Specielt Til Gsd Platformen —
  • Lysatool Og Ofmc
  • Platformens Fleksibilitet — Og Det At Systemet Kan Modelleres Både Fra Et Globalt Synspunkt Og Et
  • This Thesis Presents The Guided System Development (Gsd) Framework
  • Which Aims At Supporting The Development Of Secure Communication Systems
  • <Br/><Br/>A Communication System Is Specified In A Language Similar To The Alice And Bob Notation
  • A Simple And Intuitive Language Used To Describe The Global Perspective Of The Communications Betwee
  • The Notation Used In The Gsd Framework Extends That Notation With Constructs That Allow The Security
  • <Br/><Br/>From That Specification
  • The Developer Is Guided Through A Semi-Automatic Translation That Enables The Verification And Imple
  • The Translation Is Semi-Automatic Because The Developer Has The Option Of Choosing Which Implementat
  • The Implementation Options Are Given By Plugins Defined In The Framework
  • The Framework’S Flexibility Allows For The Addition Of Constructs That Model New Security Properti
  • <Br/><Br/>In Order To Provide Higher Security Assurances
  • The System Specification Can Be Verified By Formal Methods Tools Such As The Beliefs And Knowledge (
  • Lysatool And Ofmc
  • The Framework’S Flexibility And The Existence Of The System Model In Different Perspectives — An
  • <Br/><Br/>The Modeled System Is Also Translated Into Code That Implements The Communication Skeleton
  • New Output Languages Can Also Easily Be Added To The Gsd Framework
  • <Br/><Br/>Additionally
  • A Prototype Of The Gsd Framework Was Implemented And An Ex-Ample Of Using The Gsd Framework In A Rea

Abstract

On Building Secure Communication Systems - DTU Orbit (27/04/14) On Building Secure Communication Systems - DTU Orbit (27/04/14) Carvalho Quaresma JN, Probst CW, Nielson F 2013. On Building Secure Communication Systems. Kgs. Lyngby: Technical University of Denmark. 127 p. (PHD-2013; No. 313).

There are no comments yet on this publication. Be the first to share your thoughts.