Byzantská dohoda: Spec3
Vlastnosti (A1) a (A2) sa nedajú zabezpecit pri neautorizovanom komunikovaní, preto ich musíme zjemnit.
Spec3: (B1), (E1), (E2) a nasledujúce:
(A3) 0 ? sumr[u, x] ? ? +w: obsr[w, x]:: 1 ? ? t
(E3) obsr+1[u, x] = (obsr[u, x] ? sumr[u, x] > t ? valr[u, x])
(E5) conr[u, x] = sumr[u, x] > 2.t
(A3) sumr[u, x] ? odhad ucka, pre kolko w platí obsr[w, x]
(E4) valr[u, x] ? odhad u hodnoty dr[x]
(ak x je spolahlivý, tak je to presne dr[x])
(E3) obsr+1[u, x] platí, ak
obsr[v, x] platí pre nejaké spolahlivé v
(obsr[u, x] ? sumr[u, x] > t)
alebo u odhaduje, ze dr[x] platí
(E5) conr[u, x] platí, ak obsr[w, x] platí pre viac nez t