ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΤΑΥΤΟΧΡΟΝΙΣΜΟΥ ΚΑΙ ΑΣΦΑΛΕΙΑ ΛΟΓΙΣΜΙΚΟΥ

Πληροφορίες Μαθήματος
ΤίτλοςΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΤΑΥΤΟΧΡΟΝΙΣΜΟΥ ΚΑΙ ΑΣΦΑΛΕΙΑ ΛΟΓΙΣΜΙΚΟΥ / CONCURRENCY AND SECURITY IN SOFTWARE
ΚωδικόςNIS-07-04
ΣχολήΘετικών Επιστημών
ΤμήμαΠληροφορικής
Κύκλος / Επίπεδο1ος / Προπτυχιακό
Περίοδος ΔιδασκαλίαςΧειμερινή
Υπεύθυνος/ηΠαναγιώτης Κατσαρός
ΚοινόΌχι
ΚατάστασηΕνεργό
Course ID40002969

Πρόγραμμα Σπουδών: ΠΠΣ-Τμήμα Πληροφορικής (2019-σήμερα)

Εγγεγραμμένοι φοιτητές: 5
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΓΕΝΙΚΗ ΚΑΤΕΥΘΥΝΣΗΥΠΟΧΡΕΩΤΙΚΟ ΚΑΤΑ ΕΠΙΛΟΓΗ745

Πληροφορίες Τάξης
ΤίτλοςΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΤΑΥΤΟΧΡΟΝΙΣΜΟΥ ΚΑΙ ΑΣΦΑΛΕΙΑ ΛΟΓΙΣΜΙΚΟΥ
Ακαδημαϊκό Έτος2018 – 2019
Περίοδος ΤάξηςΧειμερινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία4
Class ID
600121244

Πρόγραμμα Τάξης

ΚτίριοΒιολογίας
ΌροφοςΙσόγειο
ΑίθουσαΑΙΘΟΥΣΑ Η1 (211)
ΗμερολόγιοΔευτέρα 14:00 έως 16:00
ΚτίριοΒιολογίας
ΌροφοςΙσόγειο
ΑίθουσαΑΙΘΟΥΣΑ Η1 (211)
ΗμερολόγιοΠέμπτη 15:00 έως 17:00
Τύπος Μαθήματος
  • Επιστημονικής Περιοχής
  • Ανάπτυξης Δεξιοτήτων
Κατηγορία Μαθήματος
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Erasmus
Το μάθημα προσφέρεται και σε φοιτητές προγραμμάτων ανταλλαγής.
Γλώσσα Διδασκαλίας
  • Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Γενικές Προαπαιτήσεις
Το μάθημα είναι αυτοτελές. Παρόλα αυτά, είναι απαραίτητο να προϋπάρχει εμπειρία προγραμματισμού σε γλώσσα υψηλού επιπέδου.
Μαθησιακά Αποτελέσματα
Οι φοιτητές αναμένεται ότι στα πλαίσια του μαθήματος θα • μάθουν να αναπτύσσουν προγράμματα ταυτοχρονισμού • μπορούν να επαληθεύσουν προγράμματα ταυτοχρονισμού ως προς την ορθότητά τους • μπορούν να διατυπώνουν αλγόριθμους επίλυσης προβλημάτων σε κατανεμημένα συστήματα με βάση θεμελιώδη κριτήρια ορθότητας • εξοικειωθούν με τον προγραμματισμό μηχανισμών ασφάλειας λογισμικού • εξοικειωθούν με προβλήματα ασφάλειας εφαρμογών λογισμικού
Γενικές Ικανότητες
  • Εφαρμογή της γνώσης στην πράξη
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Άσκηση κριτικής και αυτοκριτικής
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
A Μέρος - Προγραμματισμός Ταυτοχρονισμού: Ταυτοχρονισμός στις γλώσσες προγραμματισμού (ατομικές εντολές, παρεμβολή, ορθότητα), Πρόβλημα του Κρίσιμου Τομέα, Επαλήθευση προγραμμάτων ταυτοχρονισμού, Προηγμένοι αλγόριθμοι για το πρόβλημα του Κρίσιμου Τομέα, Σηματοφορείς, Επιτηρητές, Κανάλια, Χώροι πλειάδων, Κατανεμημένοι αλγόριθμοι, Καθολικές ιδιότητες, Κοινή συναίνεση, Συστήματα πραγματικού χρόνου B Μέρος - Ασφάλεια Λογισμικού: Μηχανισμοί ασφάλειας, Πάροχοι ασφάλειας, Λίστες ελέγχου προσπέλασης, Συνόψεις μηνυμάτων, Κρυπτογραφία, Ψηφιακές υπογραφές, Ψηφιακά πιστοποιητικά, Αρχιτεκτονική ασφάλειας της Java, Ασφάλεια εφαρμογών λογισμικού
Λέξεις Κλειδιά
Ταυτοχρονισμός, Κατανεμημένοι Αλγόριθμοι, Συστήματα Πραγματικού Χρόνου, Μηχανισμοί ασφάλειας, Ασφάλεια εφαρμογών λογισμικού
Τύποι Εκπαιδευτικού Υλικού
  • Σημειώσεις
  • Διαφάνειες
  • Βιβλίο
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
Χρήση Τ.Π.Ε.
  • Χρήση Τ.Π.Ε. στη Διδασκαλία
  • Χρήση Τ.Π.Ε. στην Επικοινωνία με τους φοιτητές
Περιγραφή
Χρησιμοποιείται η πλατφόρμα e-learning (moodle) για τη διάθεση του μαθήματος μέσω διαδικτύου και για την επικοινωνία με τους φοιτητές. Επίσης, οι παραδόσεις γίνονται με χρήση εποπτικών μέσων διδασκαλίας (ηλεκτρονικές διαφάνειες).
Οργάνωση Μαθήματος
ΔραστηριότητεςΦόρτος ΕργασίαςECTSΑτομικάΟμαδικάErasmus
Διαλέξεις52
Μελέτη και ανάλυση βιβλίων και άρθρων95
Εξετάσεις3
Σύνολο150
Αξιολόγηση Φοιτητών
Περιγραφή
Οι φοιτητές αξιολογούνται με βάση την επίδοσή τους σε υποχρεωτική γραπτή εργασία (30 %) και την επίδοσή τους στην τελική γραπτή εξέταση (70 %) και η φοίτησή τους είναι επιτυχής, εφόσον ο σταθμισμένος μέσος όρος των δύο αντιστοιχεί σε προβιβάσιμο βαθμό (5). Η ανακοίνωση των κριτηρίων αξιολόγησης, της εργασίας και των επιδόσεων των φοιτητών γίνεται στην πλατφόρμα e-learning.
Μέθοδοι Αξιολόγησης Φοιτητών
  • Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική, Συμπερασματική)
  • Γραπτή Εργασία (Διαμορφωτική, Συμπερασματική)
  • Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
1. M. Ben-Ari, "Αρχές Προγραμματισμού με Ταυτοχρονισμό και Κατανομή Λογισμικού", 2η έκδοση/2015, Εκδόσεις Τζιόλας, ISBN: 978-960-418-591-7 Κωδικός Βιβλίου στον Εύδοξο: 50655947 2. Ι.Κ.Κάβουρας, Ι.Ζ.Μήλης, Γ.Β.Ξυλωμένος, Α.Α.Ρουκουνάκη, "Κατανεμημένα Συστήματα με Java", Συστήματα Υπολογιστών - Τόμος ΙΙΙ, 3η έκδοση/2011, Εκδόσεις Κλειδάριθμος, ISBN: 978-960-461-463-9 Κωδικός Βιβλίου στον Εύδοξο: 12533080
Επιπρόσθετη βιβλιογραφία για μελέτη
1. M. Herlihy and N. Shavit, "The art of multiprocessor programming", Morgan Kauffman, 2008 2. G. Taubenfeld, "Synchronization Algorithms and Concurrent Programming", Pearson / Prentice Hall, 2006 3. N.Lynch, "Distributed Algorithms", Morgan Kauffman, 1996 4. S. Oaks,"Java Security", O'Reilly, 1998
Τελευταία Επικαιροποίηση
13-06-2016