LERSAIS Seminar - December 13, 2007 |
||
Resource constraints of Wireless Sensor Networks (WSNs) increase security and safety concerns related to their utilization. Meanwhile, it is expected that WSN applications will provide key security and safety guarantees despite the limited resources. In this talk, Dr. Oleshchuk will consider finite model checking as an approach to discovering worst case scenarios of WSN behavior and thus, to improve security, safety and reliability of WSNs. After a brief overview of finite model checking, he will elaborate on the proposed approach using two case studies: (1) conformance checking of RBAC policy and its implementation, and (2) trust-aware query processing in data intensive sensor networks. Vladimir A. Oleshchuk is Professor of Computer Science in Department of Information and Telecommunications Technology at the University of Agder, Norway. He received his MSc in Applied Mathematics (1981) and PhD in Computer Science (1988) from the Taras Shevchenko University in Kiev, Ukraine, and his MSc in Innovations and Entrepreneurship (2007) from the Norwegian University of Science and Technology (NTNU). From 1987 to 1991, he was an Assistant Professor and then Associate Professor at the Taras Shevchenko University. He was visiting research fellow at University of Oslo in 1991-92. He has been working at University of Agder since 1992. His current research interests include formal methods and information security with focus on telecommunication systems. He has published over 70 papers in journals and peer-reviewed conferences and workshops in the fields of information security and privacy, theoretical computer science and information retrieval. He is a senior member of ACM, member of IEEE Computer and Communication Society and Elected Member of Agder Academy of Sciences and Letters. Currently, Oleshchuk is working with Vladimir Zadorozhny on a research project funded by the Norwegian Research Council.
|
||
|
The Laboratory of Education and Research on Security
Assured Information Systems is pleased to host a seminar
by Vladimir Oleshchuk, Professor in Computer Science
at the University of Agder, Norway. The lecture
will take place on Thursday, December 13 in Room 404
of the IS Building (135 North Bellefield Avenue). A “Meet
the Speaker” Coffee will begin at 1:30 pm; the
lecture by Dr. Oleshchuk will begin at 2:00 pm. Dr.
Oleshchuk will discuss “Security and Safety Analysis
in WSN Based on Finite Model Checking.”