Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
ProVerif query results.
| Query inj-event(endfstS(IDj)) ==> inj-event(startfstS(IDj)) is true. |
| Query inj-event(end2ndS(IDj)) ==> inj-event(start2ndS(IDj)) is true. |
| Query inj-event(endfstN(IDj)) ==> inj-event(startfstN(IDj)) is true. |
| Query inj-event(end2ndN(IDj)) ==> inj-event(start2ndN(IDj)) is true. |
| Query not attacker(K[]) is true. |
