Problems of Modeling in the Analysis of Covert Channels доклад на конференции