Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV018-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	t_is_party_of_protocol_15.p	2024-10-04 18:27	125
	t_holds_key_bt_for_b_14.p	2024-10-04 18:27	121
	t_holds_key_at_for_a_13.p	2024-10-04 18:27	121
	server_t_generates_key_16.p	2024-10-04 18:27	395
	nothing_is_a_nonce_and_a_key_38.p	2024-10-04 18:27	148
	nonce_a_is_fresh_to_b_9.p	2024-10-04 18:27	125
	intruder_message_sent_31.p	2024-10-04 18:27	226
	intruder_key_encrypts_33.p	2024-10-04 18:27	240
	intruder_interception_30.p	2024-10-04 18:27	240
	intruder_holds_key_32.p	2024-10-04 18:27	194
	intruder_decomposes_triples_22.p	2024-10-04 18:27	193
	intruder_decomposes_triples_21.p	2024-10-04 18:27	193
	intruder_decomposes_triples_20.p	2024-10-04 18:27	193
	intruder_decomposes_quadruples_26.p	2024-10-04 18:27	209
	intruder_decomposes_quadruples_25.p	2024-10-04 18:27	209
	intruder_decomposes_quadruples_24.p	2024-10-04 18:27	209
	intruder_decomposes_quadruples_23.p	2024-10-04 18:27	209
	intruder_decomposes_pairs_19.p	2024-10-04 18:27	179
	intruder_decomposes_pairs_18.p	2024-10-04 18:27	179
	intruder_composes_triples_28.p	2024-10-04 18:27	239
	intruder_composes_quadruples_29.p	2024-10-04 18:27	279
	intruder_composes_pairs_27.p	2024-10-04 18:27	201
	intruder_can_record_17.p	2024-10-04 18:27	174
	generated_times_and_nonces_are_nonces_37.p	2024-10-04 18:27	156
	generated_times_and_nonces_are_nonces_36.p	2024-10-04 18:27	164
	generated_keys_are_keys_39.p	2024-10-04 18:27	136
	fresh_intruder_nonces_are_fresh_to_b_43.p	2024-10-04 18:27	178
	fresh_intruder_nonces_are_fresh_to_b_42.p	2024-10-04 18:27	172
	co1_44.p	2024-10-04 18:27	162
	can_generate_more_fresh_intruder_nonces_41.p	2024-10-04 18:27	210
	b_is_party_of_protocol_8.p	2024-10-04 18:27	124
	b_hold_key_bt_for_t_7.p	2024-10-04 18:27	119
	b_creates_freash_nonces_in_time_11.p	2024-10-04 18:27	204
	b_creates_freash_nonces_in_time_10.p	2024-10-04 18:27	285
	b_accepts_secure_session_key_12.p	2024-10-04 18:27	305
	an_intruder_nonce_is_a_fresh_intruder_nonce_40.p	2024-10-04 18:27	165
	an_a_nonce_is_a_nonce_34.p	2024-10-04 18:27	123
	a_stored_message_i_4.p	2024-10-04 18:27	128
	a_sent_message_i_to_b_3.p	2024-10-04 18:27	140
	a_is_party_of_protocol_2.p	2024-10-04 18:27	124
	a_forwards_secure_5.p	2024-10-04 18:27	280