Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV018+1/VerificationProblems/E-SAT---3.0.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	b_hold_key_bt_for_t.p	2024-10-04 18:30	127
	a_holds_key_at_for_t.p	2024-10-04 18:30	128
	t_holds_key_at_for_a.p	2024-10-04 18:30	128
	t_holds_key_bt_for_b.p	2024-10-04 18:30	128
	an_a_nonce_is_a_nonce.p	2024-10-04 18:30	130
	a_is_party_of_protocol.p	2024-10-04 18:30	132
	b_is_party_of_protocol.p	2024-10-04 18:30	132
	t_is_party_of_protocol.p	2024-10-04 18:30	132
	nonce_a_is_fresh_to_b.p	2024-10-04 18:30	133
	a_stored_message_i.p	2024-10-04 18:30	136
	generated_keys_are_keys.p	2024-10-04 18:30	143
	a_sent_message_i_to_b.p	2024-10-04 18:30	148
	generated_keys_are_not_nonces.p	2024-10-04 18:30	153
	nothing_is_a_nonce_and_a_key.p	2024-10-04 18:30	153
	co1.p	2024-10-04 18:30	168
	an_intruder_nonce_is_a_fresh_intruder_nonce.p	2024-10-04 18:30	172
	intruder_can_record.p	2024-10-04 18:30	180
	intruder_holds_key.p	2024-10-04 18:30	202
	fresh_intruder_nonces_are_fresh_to_b.p	2024-10-04 18:30	204
	generated_times_and_nonces_are_nonces.p	2024-10-04 18:30	206
	intruder_composes_pairs.p	2024-10-04 18:30	209
	intruder_decomposes_pairs.p	2024-10-04 18:30	211
	can_generate_more_fresh_intruder_nonces.p	2024-10-04 18:30	216
	intruder_message_sent.p	2024-10-04 18:30	232
	intruder_composes_triples.p	2024-10-04 18:30	245
	intruder_interception.p	2024-10-04 18:30	246
	intruder_key_encrypts.p	2024-10-04 18:30	246
	intruder_decomposes_triples.p	2024-10-04 18:30	247
	intruder_composes_quadruples.p	2024-10-04 18:30	283
	intruder_decomposes_quadruples.p	2024-10-04 18:30	285
	b_accepts_secure_session_key.p	2024-10-04 18:30	311
	a_forwards_secure.p	2024-10-04 18:30	313
	b_creates_freash_nonces_in_time.p	2024-10-04 18:30	319
	server_t_generates_key.p	2024-10-04 18:30	402