rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
    sub title: μεταπτυχιακή διατριβή
  name:
    name part: Καλύβας, Χρήστος.
    role:
      role term: creator
  name:
    name part: Καμπουράκης, Γεώργιος
    role:
      role term: dgs
  name:
    name part: Πανεπιστήμιο Αιγαίου
    name part: Σχολή Θετικών Επιστημών.
    name part: Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων.
    name part: Π.Μ.Σ. Τεχνολογίες και Διοίκηση Πληροφοριακών και Επικοινωνιακών Συστημάτων.
  type of resource: text
  origin info:
    place:
      place term: gr
    date issued: 2012
    issuance: monographic
  language:
    language term: gre
  physical description:
    extent: ix, 121 σ. : εικ., πιν. ; 30 εκ.
  abstract: Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο. Επιπλέον υλοποιούνται κάποια μοντέλα κρυπτογραφικών μεθόδων και περιγράφεται ο τρόπος και η λογική που ακολουθήθηκε για την κατασκευή τους. Παράλληλα γίνεται μια σύγκριση του χρόνου που απαιτήθηκε για την κατασκευή τους ώστε να απεικονιστεί η πολυπλοκότητα και η δυσκολία κατασκευής τους ανάλογα με την δομή τους. Επίσης μοντελοποιούνται δύο μερικές επιθέσεις που έχουν ανιχνευτεί σε δυο κρυπτογραφικές μεθόδους και δείχνουμε και με το συγκεκριμένο εργαλείο πως αυτές οι επιθέσεις είναι δυνατόν να ισχύσουν.Σκοπός αυτής της έρευνας είναι να δείξουμε πως η μοντελοποίηση μπορεί να συσχετιστεί με τον τομέα τις ασφάλειας και να εξαχθούν χρήσιμα αποτελέσματα και συμπεράσματα. Επιπλέων μέσω αυτής της εργασίας μπορεί να δοθεί έναυσμα για την περεταίρω έρευνα σχετικά με την μοντελοποίηση στον τομέα της ασφάλειας υπολογιστικών συστημάτων.
  abstract: This thesis is related to the Alloy modeling language and the Alloy Analyzer tool.This study presents a brief description of the basic concepts and elements of the language that are needed in order to be able someone to construct a model of a system with this tool. Additionally are implemented some models of cryptographic methods and is described the logic that follows their construction. Furthermore, there is a comparison of the time taken to build them, in order to visualize the complexity and the difficulty of their construction depending on their structure. Also, have been modeled two attacks, that have been detected in two cryptographic methods and we show with the tool that these attacks can be applied.The purpose of this research is to show that modeling can be linked to the security field and draw some useful results and conclusions. Additionally this work can give rise to further research on modeling the security properties of computer systems.
  note: του Χρήστου Καλύβα ; επιβλέπων καθηγητής Γεώργιος Καμπουράκης.
  note: Μέλη της εξεταστικής επιτροπής: Γεώργιος Καμπουράκης, Ελισάβετ Κωνσταντίνου, Εμμανουήλ Μαραγκουδάκης.
  note: Διάθεση πλήρους κειμένου ; Ενδοπανεπιστημιακή δημοσίευση.
  note: Διατριβή (μεταπτυχιακή) – Πανεπιστήμιο Αιγαίου, Σάμος, 2012.
  note: Βιβλιογραφία: σ. 100-101.
  note: Κλειδωμένη η δυνατότητα αντιγραφής (copy) του κειμένου.
  subject:
    name:
      name part: University of the Aegean
    topic: Dissertations
  subject:
    topic: Cryptography
  subject:
    topic: Dissertations, Academic
    geographic: Greece
  classification: 005.82
  identifier: http://hdl.handle.net/11610/12464
  location:
    physical location: INST SAMOS 20140610
  location:
    physical location: INST SAMOS 20140610
  access condition: Διάθεση πλήρους κειμένου ; Ενδοπανεπιστημιακή δημοσίευση.
  access condition: Κλειδωμένη η δυνατότητα αντιγραφής (copy) του κειμένου.
  record info:
    record content source: GR-MyUA
    record creation date: 140610
    record identifier: 1/49090
    language of cataloging:
      language term: gre