/* (c) https://github.com/MontiCore/monticore */
package secarc.coco.autoconnect;

component AutoEncryptedConnect {
	
	accesscontrol on;
	
	trustlevel +1;
	
	autoconnect encrypted type;
	
	identity weak help -> targetHelp;
	
	component Help help {
	
		port out int pHelp;
	
		trustlevel +1;
	}
	
	component TargetHelp targetHelp {
		access user;
		
		port in int pTargetHelp;
	}
	
}