Chú ý một trạng thái nguồn tương đương với một bản rõ. Một bản tin gồm bản rõ với một nhãn xác thực kèm theo, một cách chính xác hơn có thể coi đó là một bản tin đã được xác nhận. Một quy tắc xác thực không nhất thiết phải là hàm đơn ánh. Để phát thông báo (đã được kí). An và Thu phải tuân theo giao thức sau. Trước tiên họ phải chọn một khoá ngẫu nhiên k K. Điều này được thực hiện một cách bí mật như trong hệ mật khoá bí mật. Sau đó giả sử rằng An muốn gửi một trạng thái nguồn s S cho Thu trên kênh không an toàn, An sẽ tính a= e k (s) và gửi bản tin (s, a) cho Thu. Khi nhận được (s, a) Thu tính a’=e K(s). Nếu a=a’ thì Thu chấp nhận bản tin là xác thực, ngược lại Thu sẽ loại bỏ nó.