[:en]

Activity 1
Deliverable P1.1 Work Package PE1.1 study the problem and proposed solution.
Deliverable P1.2 Work Package PE1.2 Implementation of transformations.
Deliverable P1.3 Work Package PE1.3 Evaluation System transforms.
Deliverable P1.4 Work Package PE1.4 study of the problem and design verifier.
Deliverable P1.5 Work Package PE1.5 Implementation of the verifier.
Deliverable P1.6 Work Package PE1.6 Evaluation of the verification system.

 

Activity 2
Deliverable P2.1 Work Package PE2.1 Development of algorithms and data structures suitable for distributed authentication.
Deliverable P2.2 Work Package PE2.2 Development libraries for standard certification system.

 

Activity 3
Deliverable P3.1 Work Package PE3.1 study the problem and proposed solution.
Deliverable P3.2 Work Package PE3.2 Implementation of transformations.
Deliverable P3.3 Work Package PE3.3 Evaluation System transforms.
Deliverable P3.4 Work Package PE3.4 study of the problem and design verifier.

[:el]

Δραστηριότητα 1
Παραδοτέο Π1.1 Πακέτο εργασίας ΠΕ1.1 Μελέτη του προβλήματος και πρόταση λύσης του.
Παραδοτέο Π1.2 Πακέτο εργασίας ΠΕ1.2 Υλοποίηση του συστήματος μετασχηματισμών.
Παραδοτέο Π1.3 Πακέτο εργασίας ΠΕ1.3 Αξιολόγηση του Συστήματος Μετασχηματισμών.
Παραδοτέο Π1.4 Πακέτο εργασίας ΠΕ1.4 Μελέτη του Προβλήματος και Σχεδιασμός του επαληθευτή.
Παραδοτέο Π1.5 Πακέτο εργασίας ΠΕ1.5 Υλοποίηση του επαληθευτή.
Παραδοτέο Π1.6 Πακέτο εργασίας ΠΕ1.6 Αξιολόγηση του συστήματος επαλήθευσης.
Δραστηριότητα 2
Παραδοτέο Π2.1 Πακέτο εργασίας ΠΕ2.1 Aνάπτυξη αλγορίθμων και δομών δεδομένων κατάλληλων για κατανεμημένη πιστοποίηση.
Παραδοτέο Π2.2 Πακέτο εργασίας ΠΕ2.2 Ανάπτυξη βιβλιοθηκών για πρότυπο σύστημα πιστοποίησης.
Δραστηριότητα 3
Παραδοτέο Π3.1 Πακέτο εργασίας ΠΕ3.1 Μελέτη του προβλήματος και πρόταση λύσης του.
Παραδοτέο Π3.2 Πακέτο εργασίας ΠΕ3.2 Υλοποίηση του συστήματος μετασχηματισμών.
Παραδοτέο Π3.3 Πακέτο εργασίας ΠΕ3.3 Αξιολόγηση του Συστήματος Μετασχηματισμών.
Παραδοτέο Π3.4 Πακέτο εργασίας ΠΕ3.4 Μελέτη του Προβλήματος και Σχεδιασμός του επαληθευτή.

 

222


 

 [:]