Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV012-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	a_forwards_secure_5.p	2024-10-04 18:27	286
	a_is_party_of_protocol_2.p	2024-10-04 18:27	130
	a_sent_message_i_to_b_3.p	2024-10-04 18:27	146
	a_stored_message_i_4.p	2024-10-04 18:27	134
	b_creates_freash_nonces_in_time_10.p	2024-10-04 18:27	291
	b_is_party_of_protocol_8.p	2024-10-04 18:27	130
	intruder_can_record_17.p	2024-10-04 18:27	180
	intruder_composes_pairs_27.p	2024-10-04 18:27	207
	intruder_composes_quadruples_29.p	2024-10-04 18:27	285
	intruder_composes_triples_28.p	2024-10-04 18:27	245
	intruder_decomposes_pairs_18.p	2024-10-04 18:27	185
	intruder_decomposes_pairs_19.p	2024-10-04 18:27	185
	intruder_decomposes_quadruples_23.p	2024-10-04 18:27	215
	intruder_decomposes_quadruples_24.p	2024-10-04 18:27	215
	intruder_decomposes_quadruples_25.p	2024-10-04 18:27	215
	intruder_decomposes_quadruples_26.p	2024-10-04 18:27	215
	intruder_decomposes_triples_20.p	2024-10-04 18:27	199
	intruder_decomposes_triples_21.p	2024-10-04 18:27	199
	intruder_decomposes_triples_22.p	2024-10-04 18:27	199
	intruder_holds_key_32.p	2024-10-04 18:27	200
	intruder_interception_30.p	2024-10-04 18:27	246
	intruder_message_encrypted_33.p	2024-10-04 18:27	251
	intruder_message_sent_31.p	2024-10-04 18:27	232
	nonce_a_is_fresh_to_b_9.p	2024-10-04 18:27	131
	server_t_generates_key_16.p	2024-10-04 18:27	386
	t_holds_key_at_for_a_13.p	2024-10-04 18:27	127
	t_holds_key_bt_for_b_14.p	2024-10-04 18:27	127
	t_is_party_of_protocol_15.p	2024-10-04 18:27	131