Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY : μεταπτυχιακή διατριβή
Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο....
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Thesis Book |
| Language: | Greek |
| Published: |
2012.
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11610/12464 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|