HEAL DSpace

Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method

Αποθετήριο DSpace/Manakin

Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method

Ouranos, I; Stefaneas, P; Ogata, K
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/32859
Ημερομηνία: 2010

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)