Security Modelling of Access and Dataflow Control Using DP Models Theory
Author: Denis Kolegov
The talk will cover security modelling of logical access and data flow control in contemporary computer systems. The speaker will consider the approach to security modelling on the basis of DP models theory, its advantages and capabilities, along with its application characteristics when developing security mechanisms. The talk will address main components, concepts and techniques of DP models. The speaker will present new modelling approaches, targeted at software implementation of access control mechanisms.
Denis Kolegov is Candidate of Science and associate professor of the Information Protection and Cryptography Chair of the Tomsk State University (TSU), Senior Pentesting Engineer at F5 Networks. He graduated from TSU, the Department of Applied Methematics and Cybernetics, where he specialized in computer security.