Η καθημερινή χρήση ηλεκτρονικών υπηρεσιών έχει αυξηθεί σημαντικά. Για την διεκπεραίωση τέτοιου είδους συναλλαγών δεν υπάρχει άλλη επιλογή από το να παρέχουμε πλήθος προσωπικών πληροφοριών για σκοπούς εξουσιοδότησης (authorization), διεκπεραίωση χρηματικών συναλλαγών ή απλά επειδή το απαιτούν οι όροι χρήσης της υπηρεσίας από το πάροχο. Η έλευση τεχνολογιών όπως τα Big Data, τα διάχυτα περιβάλλοντα(pervasive environments) και τα πανταχού παρόντα συστήματα(ubiquitous systems), ευνοούν ακόμα πιο πολύ την διασπορά όλων αυτών των προσωπικών πληροφοριών. Ως αποτέλεσμα, αποδυναμώνεται η ιδιωτικότητα (privacy) του ατόμου-χρήστη και επομένως δημιουργούνται κίνδυνοι κατάχρησης αυτής της πληροφορίας. Η εργασία αυτή εστιάζει στην μελέτη Privacy by Design τεχνικών προστασίας της ιδιωτικότητας που ενσωματώνονται σε τεχνολογίες ταυτοποίησης. Ένας αποδοτικός και διαδεδομένος τρόπος προστασίας της ιδιωτικότητας επιτυγχάνεται με την χρήση συστημάτων ανωνύμων credentials. Η επικρατούσα τεχνολογία στην κατηγορία των ανώνυμων credentials είναι το σύστημα Identity Mixer(idemix) το οποίο αναπτύχθηκε από την IBM Research με σκοπό την παροχή ισχυρών μηχανισμών αυθεντικοποίησης (authentication) και προστασίας της ιδιωτικότητας ταυτόχρονα. Επιλέξαμε την τεχνολογία Idemix για να παρουσιάσουμε ένα σενάριο χρήσης της τεχνολογίας για υλοποίηση εφαρμογών που σέβονται την ιδιωτικότητα του χρήστη. Τέλος, παρουσιάζεται η αξιολόγηση ευχρηστίας της διεπιφάνειας χρήστη, για ένα υποθετικό σενάριο online αγοράς όπου ενσωματώνονται αρχές προστασίας της ιδιωτικότητας / At this thesis we study Privacy by Design techniques used in identification technologies. We focus on implementing an easy way to issue and embed the use of anonymous credentials in applications, by using the existent protocols for anonymous credential systems and libraries. While there are already protocols describing anonymous credential systems there is lack of applications using these systems. In our use case we use Idemix open source library, which provide strong authentication mechanisms in a privacy preserving way. Our java based application, provide user control over his data without affecting systems functionality and usability.

Η σχέση μεταξύ των επιστημόνων της υγείας και των ασθενών-πελατών αυτών διαρκώς εξελίσσεται και έχει συγκεντρώσει το ενδιαφέρον της διεθνούς βιβλιογραφίας. Οι ασθενείς είναι αυτοί που καθορίζουν την επιτυχία ή αποτυχία του συστήματος της υγείας. Για το λόγο αυτό γίνονται προσπάθειες ώστε να ανιχνευτούν οι πεποιθήσεις τους όχι μόνο για τις υπηρεσίες που τους προσφέρονται αλλά και για τους παρόχους των υπηρεσιών αυτών. Στόχος της εργασίας αυτής της ήταν να μελετήσει την σχέση μεταξύ των ασθενών-πελατών και του φαρμακοποιού στο σύγχρονο φαρμακείο. Πιο συγκεκριμένα, εξετάζεται κυρίως η ενσυναίσθηση του φαρμακοποιού και κατόπιν η επικοινωνία με τον φαρμακοποιό και η εμπιστοσύνη σε αυτόν. Επίσης διερευνάται η ικανοποίηση των ασθενών-πελατών. Για την διεξαγωγή της παρούσας έρευνας διαμοιράστηκε ανώνυμο ερωτηματολόγιο το οποίο συμπληρώθηκε από 113 άτομα. Οι συμμετέχοντες κάλυπταν όλες τις ηλικίες και έγινε προσπάθεια να βρίσκονται σε διάφορες περιοχές της Ελλάδας. Τα αποτελέσματα της έρευνας έδειξαν ότι γενικά ο Έλληνας φαρμακοποιός διαθέτει ενσυναίσθηση και την εφαρμόζει στην καθημερινότητα του για την αποτελεσματική επικοινωνία με τους πελάτες του. Ακόμα βρέθηκε ότι η εμπιστοσύνη στον φαρμακοποιό είναι υψηλή. Οι ασθενείς-πελάτες εμφανίζονται ιδιαίτερα ικανοποιημένοι γενικά όσον αφορά τις συναλλαγές τους στο φαρμακείο. / --

Στην διδακτορική διατριβή αναπτύξαμε ασφαλή και έμπιστα πρωτόκολλα επικοινωνιών εισάγοντας ένα νέο μοντέλο έμπιστου συστήματος που ικανοποιεί τις συνεχώς εξελισσόμενες απαιτήσεις των υπολογιστικών συστημάτων. Για την ανάπτυξη του μοντέλου μας συνδυάσαμε την μαθηματική λογική και τα φαινόμενα κατωφλίου που προκύπτουν ασυμπτωτικά στην ανάπτυξη των συνδυαστικών δομών. Η βασική ιδέα της διδακτορικής διατριβής είναι ότι στα δυναμικά γενικά συστήματα υπολογισμού δεν μπορεί η έννοια της εμπιστοσύνης και της ασφάλειας να είναι στατική. Πιστεύουμε ότι ένα έμπιστο και ασφαλές σύστημα θα πρέπει να μελετάται με στατιστικές, ασυμπτωτικές παραμέτρους, καθώς τα τμήματα του συστήματος εξελίσσονται. Κατά συνέπεια, ο κύριος στόχος μας είναι να καθορίσουμε την εμπιστοσύνη ως μια ιδιότητα του συστήματος που «εμφανίζεται» όταν ισχύουν ασυμπωτικά, σχεδόν βέβαια ένα σύνολο λογικών ιδιοτήτων στις τυχαίες δομές επικοινωνίας, οι οποίες διαμορφώνουν τα συστήματα υπολογισμού. Στην διδακτορική διατριβή καθορίζονται διάφορες ιδιότητες που σχετίζονται με την ασφάλεια και εμπιστοσύνη του συστήματος και εκφράζονται χρησιμοποιώντας την λογική πρώτης ή δεύτερης τάξης και ταυτόχρονα ορίζονται και οι προϋποθέσεις κάτω από τις οποίες αυτές οι ιδιότητες εμφανίζονται στο όριο τους, καθώς το σύστημα αυξάνεται. Στην παρούσα εργασία χρησιμοποιούμε μοντέλα γράφων που μπορούν ρεαλιστικά να περιγράψουν ένα δυναμικό και συνεχώς εξελισσόμενο δίκτυο και δείχνουμε ότι αυτά τα μοντέλα μπορεί να χρησιμοποιηθούν για να ικανοποιούν διάφορες ``καλές'' ιδιότητες, οι οποίες του επιτρέπουν μια ασφαλή επικοινωνία. Το τελευταίο διάστημα παρουσιάζουν αρκετό ερευνητικό και επιστημονικό ενδιαφέρον τα ασύρματά δίκτυα που χρησιμοποιούν συσκευές με μικρούς πόρους σε μνήμη και ενέργεια. Επιπλέον η διδακτορική διατριβή περιλαμβάνει τον σχεδιασμό και την υλοποίηση νέων κρυπτογραφικών πρωτοκόλλων διαχείρισης κλειδιού σε τέτοια ασύρματα δυναμικά δίκτυα . Εδώ παρουσιάζουμε κρυπτογραφικά πρωτόκολλα που είναι κατάλληλα για μια μη στατική δομή δικτύου, τα οποία δεν απαιτούν συγκεκριμένη τοπολογία δικτύου και στηρίζονται μόνο στις απλές περιορισμένου φάσματος ανταλλαγές μηνυμάτων. Για να μπορέσουμε να αναπτύξουμε αυτά τα πρωτόκολλα βασιστήκαμε σε γνωστές κρυπταναλιτικές μεθόδους χρησιμοποιώντας πρωτόκολλα κρυπτογράφησης και αποκρυπτογράφησης. Τέλος η μελέτη μας δίνει έμφαση στα πλεονεκτήματα και τα μειονεκτήματα των πρωτοκόλλων μας δεδομένης της διαθέσιμης τεχνολογίας, των αντίστοιχων κριτηρίων αποδοτικότητας (ενέργεια, χρόνος) και του παρεχόμενου επιπέδου ασφάλειας. / In this Phd thesis,, we try to use formal logic and threshold phenomena that asymptotically emerge with certainty in order to build new trust models and to evaluate the existing one. The departure point of our work is that dynamic, global computing systems are not amenable to a static viewpoint of the trust concept, no matter how this concept is formalized. We believe that trust should be a statistical, asymptotic concept to be studied in the limit as the system's components grow according to some growth rate. Thus, our main goal is to define trust as an emerging system property that ``appears'' or "disappears" when a set of properties hold, asymptotically with probability$ 0$ or $1$ correspondingly . Here we try to combine first and second order logic in order to analyze the trust measures of specific network models. Moreover we can use formal logic in order to determine whether generic reliability trust models provide a method for deriving trust between peers/entities as the network's components grow. Our approach can be used in a wide range of applications, such as monitoring the behavior of peers, providing a measure of trust between them, assessing the level of reliability of peers in a network. Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, that co-operate to accomplish a large sensing task. Sensor networks can be very useful in practice. Such systems should at least guarantee the confidentiality and integrity of the information reported to the controlling authorities regarding the realization of environmental events. Therefore, key establishment is critical for the protection in wireless sensor networks and the prevention of adversaries from attacking the network. Finally in this dissertation we also propose three distributed group key establishment protocols suitable for such energy constrained networks. This dissertation is composed of two parts. Part I develops the theory of the first and second order logic of graphs - their definition, and the analysis of their properties that are expressible in the {\em first order language} of graphs. In part II we introduce some new distributed group key establishment protocols suitable for sensor networks. Several key establishment schemes are derived and their performance is demonstrated.

Η μελέτη είναι μια προσπάθεια ανίχνευσης της καταναλωτικής συμπεριφοράς των πελατών των Ελληνικών φαρμακείων και του βαθμού ικανοποίησης τους από τις αγορές, τις υπηρεσίες και την ατμόσφαιρα του φαρμακείου με τη χρήση ερωτηματολογίου και τη μέθοδο της βολικής δειγματοληψίας σε δείγμα εκατό ατόμων. Σημαντική παράμετρος αποτέλεσε η εμπιστοσύνη των πελατών στο φαρμακοποιό. Για την εξαγωγή συμπερασμάτων αναζητήθηκαν στατιστικά σημαντικές συσχετίσεις ανάμεσα στα δημογραφικά στοιχεία, τα καταναλωτικά πρότυπα και τις μεταβλητές ατμόσφαιρα φαρμακείου, εμπιστοσύνη στο φαρμακοποιό και ικανοποίηση από τις φαρμακευτικές υπηρεσίες. / This study is a survey of customers shopping behavior in Greek pharmacies, and their satisfaction from purchases, pharmaceutical services and store atmosphere using a questionnaire among a hundred customers sample. An important factor was trust upon the pharmacist. Conclusions made out of statistically significant correlations among demographics, consumers shopping styles and variables such as satisfaction from pharmaceutical services, trust upon the pharmacist and pharmacies atmosphere.