FilterComponent.secarc 393 Bytes
Newer Older
1
2
3
4
package secarc.analysis.filter;

component FilterComponent {
	
Paff's avatar
Paff committed
5
	accesscontrol off;
6
7
8
9
10
11
12
13
	
	trustlevel +1;
	
	component Help help {
	
		trustlevel +1;
	}
	
Paff's avatar
Paff committed
14
	component TargetHelp targetHelp {		
Paff's avatar
Paff committed
15
		port out int output;
Paff's avatar
Paff committed
16
		
17
		trustlevel +2;
18
19
	}
		
Paff's avatar
Paff committed
20
	component (filter url) FilterURL filterURL {
21
	
Paff's avatar
Paff committed
22
		trustlevel +1;
Paff's avatar
Paff committed
23
		
Paff's avatar
Paff committed
24
		port in int input;
Paff's avatar
Paff committed
25
		
26
27
	}
	
Paff's avatar
Paff committed
28
29
	connect encrypted targetHelp.output -> filterURL.input;
	
30
}