Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY

Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο....

Full description

Saved in:
Bibliographic Details
Main Author: Καλύβας, Χρήστος - Βασίλειος
Other Authors: Καμπουράκης, Γεώργιος
Language:Greek
Published: 2015
Subjects:
Online Access:https://vsmart.lib.aegean.gr/webopac/List.csp?SearchT1=%CE%A5%CE%BB%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7+%CF%84%CF%81%CF%8C%CF%80%CF%89%CE%BD+%CE%BB%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CF%82+%CE%BA%CF%81%CF%85%CF%80%CF%84%CE%BF%CE%B3%CF%81%CE%B1%CF%86%CE%B9%CE%BA%CF%8E%CE%BD+%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD+%CF%83%CE%B5+ALLOY&Index1=Keywordsbib&Database=1&NumberToRetrieve=50&OpacLanguage=gre&SearchMethod=Find_1&SearchTerm1=%CE%A5%CE%BB%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7+%CF%84%CF%81%CF%8C%CF%80%CF%89%CE%BD+%CE%BB%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CF%82+%CE%BA%CF%81%CF%85%CF%80%CF%84%CE%BF%CE%B3%CF%81%CE%B1%CF%86%CE%B9%CE%BA%CF%8E%CE%BD+%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD+%CF%83%CE%B5+ALLOY&Profile=Default&PreviousList=Start&PageType=Start&EncodedRequest=O*17*0B*12*0E*13*1E*EC*BB*0C*5CD*A1*FB0*D1&WebPageNr=1&WebAction=NewSearch&StartValue=1&RowRepeat=0&MyChannelCount=
http://hdl.handle.net/11610/12464
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://vsmart.lib.aegean.gr/webopac/List.csp?SearchT1=%CE%A5%CE%BB%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7+%CF%84%CF%81%CF%8C%CF%80%CF%89%CE%BD+%CE%BB%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CF%82+%CE%BA%CF%81%CF%85%CF%80%CF%84%CE%BF%CE%B3%CF%81%CE%B1%CF%86%CE%B9%CE%BA%CF%8E%CE%BD+%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD+%CF%83%CE%B5+ALLOY&Index1=Keywordsbib&Database=1&NumberToRetrieve=50&OpacLanguage=gre&SearchMethod=Find_1&SearchTerm1=%CE%A5%CE%BB%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7+%CF%84%CF%81%CF%8C%CF%80%CF%89%CE%BD+%CE%BB%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CF%82+%CE%BA%CF%81%CF%85%CF%80%CF%84%CE%BF%CE%B3%CF%81%CE%B1%CF%86%CE%B9%CE%BA%CF%8E%CE%BD+%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD+%CF%83%CE%B5+ALLOY&Profile=Default&PreviousList=Start&PageType=Start&EncodedRequest=O*17*0B*12*0E*13*1E*EC*BB*0C*5CD*A1*FB0*D1&WebPageNr=1&WebAction=NewSearch&StartValue=1&RowRepeat=0&MyChannelCount=
http://hdl.handle.net/11610/12464