| |
 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.”
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.
|
|
