ge-high-assurance/VERDICT

Defense property on connection c1 also showed up on c11 erroneously

kityansiu opened this issue · 1 comments

This was seen on the Additive model.

Here's the connection.

			c1: port partDescDataFileUSB -> mainPC.partDescDataFileUSB 
			{
			CASE_Consolidated_Properties::connectionType => untrusted;
			CASE_Consolidated_Properties::encryptedTransmission =>0;
			CASE_Consolidated_Properties::deviceAuthentication =>9; 
			CASE_Consolidated_Properties::sessionAuthenticity =>0;
			};		
			c11: port unusedPort -> mainPC.unusedPort 
			{
			CASE_Consolidated_Properties::connectionType => untrusted;
			CASE_Consolidated_Properties::encryptedTransmission =>0;
			CASE_Consolidated_Properties::deviceAuthentication =>0; 
			CASE_Consolidated_Properties::sessionAuthenticity =>0;
			};

Here's the Result tab.
Capture

Fix in commit b54fdf6