| 137 | [[Image(confobj.jpg)]] |
| 138 | |
| 139 | (in English: There is a user and a server node. There are two pieces of information - some confidential information about the user and optionally some public information. The user is a human, which means that his actions should be generated by some process that mimics human behavior.) |
| 140 | |
| 141 | |
| 142 | * '''Timeline of events: ''' |
| 143 | |
| 144 | [[Image(loginwf.jpg, 50%)]] |
| 145 | |
| 146 | (in English: User accesses the server and the server asks the user for some confidential info and possibly some public info. The user then sends those over.) |
| 147 | |
| 148 | * '''Invariants:''' |
| 149 | |
| 150 | Nothing in addition to the topology and timeline above. |