Το Τμήμα Πληροφορικής του Ιονίου Πανεπιστημίου σας προσκαλεί στη διάλεξη του κ. Mike Burmester, Καθηγητή του Florida State University, Department of Computer Science, που θα πραγματοποιηθεί την Τρίτη 8 Απριλίου 2008 και ώρα 18:00 στην αίθουσα 1 του κτιρίου «Αρεταίος», με θέμα:
"Persistent security in wireless applications".
LECTURE ABSTRACT
Radio Frequency Identification (RFID) tags are being massively deployed in several application and business domains to provide limited environmental awareness. This in turn allows automation and streamlining of previously labor-intensive control processes, such as access control, authentication, shipment tracking, inventory and logistics, payment, etc.
While much attention has focused on the efficiency, authentication, and privacy aspects (all fundamental concerns), it is also important to support availability and forward-security. The latter may not appear at first an important requirement for RFIDs, with their limited life-cycle spans. However, RFIDs are components of larger, persistent systems, and it becomes important to look at the overall security picture and consider whether it is important for the system to tolerate events such as key-compromise of RFID tags.
In this talk I shall describe a security formalization approach that can guarantee simultaneous modeling and provision of the multiple security requirements that characterize realistic RFID usage. This approach is simulation-based and guarantees security under concurrent executions and in composition with other applications/ protocols. I will also describe highly efficient protocols that are provable security within this framework.
ABOUT THE SPEAKER
Mike Burmester, Ph.D., is the Harris Professor of Computer Science at Florida State University, Tallahassee, Florida, and co-director of the SAIT Lab. He graduated from Athens University and received his Ph.D. from the University of Rome (La Sapienza), Italy. He joined the faculty at FSU in 2001 after more than 30 years of research and teaching at leading institutions around the world. Dr. Burmester has published more than 100 research papers in information security. His current research interests include cryptography, network security and ubiquitous applications. He is a fellow of the Institute of Mathematics and its Applications (FIMA), and a member of IEEE Computer Society and the International Association of Cryptological Research (IACR).