Αλγεβρική προδιαγραφή ιδιοτήτων ασφαλείας και ιδιωτικότητας κοινωνικών δικτύων

Μυλόρδος, Αντρέας

Algebraic specification of security and privacy individuals of social networks

Διπλωματική εργασία

Author

Μυλόρδος, Αντρέας

Date

2025-03-10

Advisor

Barlas, Konstantinos

Μυλόρδος_cs171122_0403_s.pdf (1.281Mb)

Keywords

Cafeobj ; Αλγεβρική προδιαγραφή ; Ασφάλεια ; Instagram ; Ιδιότητες

Abstract

Ο στόχος της εργασίας είναι η εφαρμογή αριθμητικών μεθόδων για την ανάπτυξη ενός απλού συστήματος, παρόμοιο με το Instagram, εστιάζοντας στην προστασία του απορρήτου των χρηστών και στην ασφαλή αλληλεπίδραση μεταξύ τους.

Abstract

The main objective of the work is to apply numerical methods to develop a simple system, similar to Instagram, focusing on protecting user privacy and secure interaction between them.