Abstract
Covert channels allow one to transmit information using mechanisms that were not originally intended for transmission. An example is a process in which a transmitter encodes information in moves of a character of a multiplayer game, and a receiver observes the moves and decodes the original message. This channel may be noisy, since the character may fall out of the receiver’s sight, a number of network packets may be lost, etc. Thus there emerges a natural problem of ogranizing a reliable channel. We propose a formal model called a partial erasure channel that describes the interaction of a transmitter and a receiver, introduce the notion of a consistent transmission protocol, formulate and prove the consistency criterion on the transmitting side and construct the optimal receiver for the given consistent transmitter.
Highlights
We propose a formal model called a partial erasure channel that describes the interaction of a transmitter and a receiver, introduce the notion of a consistent transmission protocol, formulate and prove the consistency criterion on the transmitting side and construct the optimal receiver for the given consistent transmitter
A survey of covert channels and countermeasures in computer network protocols // IEEE Communications Surveys & Tutorials
Summary
В настоящей работе предметом изучения является так называемый канал частичного стирания. Что имеется также и алфавит «исходных символов», а у Алисы и Боба есть соответственно входная и выходная ленты. Вышесказанное позволяет определить, что такое «корректность» передачи: совместное поведение Алисы и Боба, называемое протоколом, корректно, если в результате работы на выходной ленте отпечатывается то же самое, что было изначально напечатано на входной, при этом, может быть, заменяя некоторые символы на символ стирания. Для двух выбранных траекторий будем говорить, что они пересекаются на i-м такте, если на данном также совпадают соответствующие местоположения Алисы. Выбор множества T тактов задает разбиение (или, иначе выражаясь, отношение эквивалентности) на множестве траекторий: две траектории считаются эквивалентными, если они пересекаются на всех тактах i ∈ T , т.е если Боб не может в этом случае отличить их друг от друга. Соответственно, имеется также канал частичного стирания, которой, таким образом, является «надстроенным» над каналом блужданий по плоскости. В заключительном разделе 5 подведены итоги и поставлены задачи для дальнейших исследований
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
