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

	Name	Last modified	Size	Description
	Parent Directory		-
	t_is_party_of_protocol.p	2024-10-04 18:24	128
	t_holds_key_bt_for_b.p	2024-10-04 18:24	124
	t_holds_key_at_for_a.p	2024-10-04 18:24	124
	server_t_generates_key.p	2024-10-04 18:24	385
	nonce_a_is_fresh_to_b.p	2024-10-04 18:24	129
	intruder_message_sent.p	2024-10-04 18:24	228
	intruder_message_encrypted.p	2024-10-04 18:24	247
	intruder_interception.p	2024-10-04 18:24	242
	intruder_holds_key.p	2024-10-04 18:24	198
	intruder_decomposes_triples.p	2024-10-04 18:24	243
	intruder_decomposes_quadruples.p	2024-10-04 18:24	281
	intruder_decomposes_pairs.p	2024-10-04 18:24	207
	intruder_composes_triples.p	2024-10-04 18:24	241
	intruder_composes_quadruples.p	2024-10-04 18:24	279
	intruder_composes_pairs.p	2024-10-04 18:24	205
	intruder_can_record.p	2024-10-04 18:24	176
	b_is_party_of_protocol.p	2024-10-04 18:24	128
	b_hold_key_bt_for_t.p	2024-10-04 18:24	123
	b_creates_freash_nonces_in_time.p	2024-10-04 18:24	315
	b_accepts_secure_session_key.p	2024-10-04 18:24	296
	a_stored_message_i.p	2024-10-04 18:24	132
	a_sent_message_i_to_b.p	2024-10-04 18:24	144
	a_is_party_of_protocol.p	2024-10-04 18:24	128
	a_holds_key_at_for_t.p	2024-10-04 18:24	124
	a_forwards_secure.p	2024-10-04 18:24	309