id	sid	tid	token	lemma	pos
fn106w95c07	1	1	the	the	DET
fn106w95c07	1	2	recent	recent	ADJ
fn106w95c07	1	3	development	development	NOUN
fn106w95c07	1	4	in	in	ADP
fn106w95c07	1	5	communication	communication	NOUN
fn106w95c07	1	6	networks	network	NOUN
fn106w95c07	1	7	and	and	CCONJ
fn106w95c07	1	8	computational	computational	ADJ
fn106w95c07	1	9	devices	device	NOUN
fn106w95c07	1	10	has	have	AUX
fn106w95c07	1	11	greatly	greatly	ADV
fn106w95c07	1	12	enhanced	enhance	VERB
fn106w95c07	1	13	the	the	DET
fn106w95c07	1	14	technological	technological	ADJ
fn106w95c07	1	15	evolution	evolution	NOUN
fn106w95c07	1	16	of	of	ADP
fn106w95c07	1	17	cyber	cyber	ADJ
fn106w95c07	1	18	-	-	PUNCT
fn106w95c07	1	19	physical	physical	ADJ
fn106w95c07	1	20	systems	system	NOUN
fn106w95c07	1	21	(	(	PUNCT
fn106w95c07	1	22	cpss	cpss	PROPN
fn106w95c07	1	23	)	)	PUNCT
fn106w95c07	1	24	,	,	PUNCT
fn106w95c07	1	25	such	such	ADJ
fn106w95c07	1	26	as	as	ADP
fn106w95c07	1	27	networked	networked	ADJ
fn106w95c07	1	28	mobile	mobile	ADJ
fn106w95c07	1	29	robots	robot	NOUN
fn106w95c07	1	30	,	,	PUNCT
fn106w95c07	1	31	autonomous	autonomous	ADJ
fn106w95c07	1	32	vehicles	vehicle	NOUN
fn106w95c07	1	33	,	,	PUNCT
fn106w95c07	1	34	intelligent	intelligent	ADJ
fn106w95c07	1	35	transportation	transportation	NOUN
fn106w95c07	1	36	systems	system	NOUN
fn106w95c07	1	37	,	,	PUNCT
fn106w95c07	1	38	smart	smart	ADJ
fn106w95c07	1	39	manufacturing	manufacturing	NOUN
fn106w95c07	1	40	systems	system	NOUN
fn106w95c07	1	41	,	,	PUNCT
fn106w95c07	1	42	and	and	CCONJ
fn106w95c07	1	43	other	other	ADJ
fn106w95c07	1	44	classes	class	NOUN
fn106w95c07	1	45	of	of	ADP
fn106w95c07	1	46	systems	system	NOUN
fn106w95c07	1	47	that	that	PRON
fn106w95c07	1	48	have	have	VERB
fn106w95c07	1	49	a	a	DET
fn106w95c07	1	50	large	large	ADJ
fn106w95c07	1	51	degree	degree	NOUN
fn106w95c07	1	52	of	of	ADP
fn106w95c07	1	53	autonomy	autonomy	NOUN
fn106w95c07	1	54	.	.	PUNCT
fn106w95c07	2	1	the	the	DET
fn106w95c07	2	2	physical	physical	ADJ
fn106w95c07	2	3	components	component	NOUN
fn106w95c07	2	4	in	in	ADP
fn106w95c07	2	5	these	these	DET
fn106w95c07	2	6	systems	system	NOUN
fn106w95c07	2	7	are	be	AUX
fn106w95c07	2	8	monitored	monitor	VERB
fn106w95c07	2	9	and	and	CCONJ
fn106w95c07	2	10	controlled	control	VERB
fn106w95c07	2	11	by	by	ADP
fn106w95c07	2	12	embedded	embed	VERB
fn106w95c07	2	13	(	(	PUNCT
fn106w95c07	2	14	cyber	cyber	NOUN
fn106w95c07	2	15	)	)	PUNCT
fn106w95c07	2	16	subsystems	subsystem	NOUN
fn106w95c07	2	17	that	that	PRON
fn106w95c07	2	18	exchange	exchange	VERB
fn106w95c07	2	19	vital	vital	ADJ
fn106w95c07	2	20	and	and	CCONJ
fn106w95c07	2	21	confidential	confidential	ADJ
fn106w95c07	2	22	information	information	NOUN
fn106w95c07	2	23	over	over	ADP
fn106w95c07	2	24	their	their	PRON
fn106w95c07	2	25	communication	communication	NOUN
fn106w95c07	2	26	networks	network	NOUN
fn106w95c07	2	27	.	.	PUNCT
fn106w95c07	3	1	these	these	DET
fn106w95c07	3	2	subsystems	subsystem	NOUN
fn106w95c07	3	3	often	often	ADV
fn106w95c07	3	4	interact	interact	VERB
fn106w95c07	3	5	with	with	ADP
fn106w95c07	3	6	an	an	DET
fn106w95c07	3	7	external	external	ADJ
fn106w95c07	3	8	environment	environment	NOUN
fn106w95c07	3	9	that	that	PRON
fn106w95c07	3	10	is	be	AUX
fn106w95c07	3	11	uncertain	uncertain	ADJ
fn106w95c07	3	12	,	,	PUNCT
fn106w95c07	3	13	dynamic	dynamic	ADJ
fn106w95c07	3	14	,	,	PUNCT
fn106w95c07	3	15	and	and	CCONJ
fn106w95c07	3	16	sometimes	sometimes	ADV
fn106w95c07	3	17	even	even	ADV
fn106w95c07	3	18	malicious	malicious	ADJ
fn106w95c07	3	19	.	.	PUNCT
fn106w95c07	4	1	operating	operate	VERB
fn106w95c07	4	2	in	in	ADP
fn106w95c07	4	3	such	such	DET
fn106w95c07	4	4	an	an	DET
fn106w95c07	4	5	environment	environment	NOUN
fn106w95c07	4	6	therefore	therefore	ADV
fn106w95c07	4	7	demands	demand	VERB
fn106w95c07	4	8	correct	correct	ADJ
fn106w95c07	4	9	-	-	PUNCT
fn106w95c07	4	10	by	by	ADP
fn106w95c07	4	11	-	-	PUNCT
fn106w95c07	4	12	design	design	NOUN
fn106w95c07	4	13	methodologies	methodology	NOUN
fn106w95c07	4	14	that	that	PRON
fn106w95c07	4	15	reliably	reliably	ADV
fn106w95c07	4	16	enforce	enforce	VERB
fn106w95c07	4	17	a	a	DET
fn106w95c07	4	18	required	require	VERB
fn106w95c07	4	19	property	property	NOUN
fn106w95c07	4	20	and	and	CCONJ
fn106w95c07	4	21	preserve	preserve	VERB
fn106w95c07	4	22	security	security	NOUN
fn106w95c07	4	23	requirements	requirement	NOUN
fn106w95c07	4	24	of	of	ADP
fn106w95c07	4	25	these	these	DET
fn106w95c07	4	26	systems.furthermore	systems.furthermore	NOUN
fn106w95c07	4	27	,	,	PUNCT
fn106w95c07	4	28	the	the	DET
fn106w95c07	4	29	operations	operation	NOUN
fn106w95c07	4	30	of	of	ADP
fn106w95c07	4	31	many	many	ADJ
fn106w95c07	4	32	modern	modern	ADJ
fn106w95c07	4	33	cpss	cpss	NOUN
fn106w95c07	4	34	,	,	PUNCT
fn106w95c07	4	35	ranging	range	VERB
fn106w95c07	4	36	from	from	ADP
fn106w95c07	4	37	intelligent	intelligent	ADJ
fn106w95c07	4	38	manufacturing	manufacturing	NOUN
fn106w95c07	4	39	systems	system	NOUN
fn106w95c07	4	40	to	to	ADP
fn106w95c07	4	41	transportation	transportation	NOUN
fn106w95c07	4	42	networks	network	NOUN
fn106w95c07	4	43	,	,	PUNCT
fn106w95c07	4	44	are	be	AUX
fn106w95c07	4	45	governed	govern	VERB
fn106w95c07	4	46	by	by	ADP
fn106w95c07	4	47	the	the	DET
fn106w95c07	4	48	sequential	sequential	ADJ
fn106w95c07	4	49	execution	execution	NOUN
fn106w95c07	4	50	of	of	ADP
fn106w95c07	4	51	certain	certain	ADJ
fn106w95c07	4	52	control	control	NOUN
fn106w95c07	4	53	actions	action	NOUN
fn106w95c07	4	54	that	that	PRON
fn106w95c07	4	55	show	show	VERB
fn106w95c07	4	56	the	the	DET
fn106w95c07	4	57	largely	largely	ADV
fn106w95c07	4	58	event	event	NOUN
fn106w95c07	4	59	-	-	PUNCT
fn106w95c07	4	60	driven	drive	VERB
fn106w95c07	4	61	nature	nature	NOUN
fn106w95c07	4	62	of	of	ADP
fn106w95c07	4	63	these	these	DET
fn106w95c07	4	64	systems	system	NOUN
fn106w95c07	4	65	.	.	PUNCT
fn106w95c07	5	1	this	this	PRON
fn106w95c07	5	2	inspires	inspire	VERB
fn106w95c07	5	3	this	this	DET
fn106w95c07	5	4	dissertation	dissertation	NOUN
fn106w95c07	5	5	to	to	PART
fn106w95c07	5	6	focus	focus	VERB
fn106w95c07	5	7	on	on	ADP
fn106w95c07	5	8	the	the	DET
fn106w95c07	5	9	cyber	cyber	ADJ
fn106w95c07	5	10	behavior	behavior	NOUN
fn106w95c07	5	11	of	of	ADP
fn106w95c07	5	12	cpss	cpss	NOUN
fn106w95c07	5	13	in	in	ADP
fn106w95c07	5	14	the	the	DET
fn106w95c07	5	15	framework	framework	NOUN
fn106w95c07	5	16	of	of	ADP
fn106w95c07	5	17	discrete	discrete	ADJ
fn106w95c07	5	18	event	event	NOUN
fn106w95c07	5	19	systems	system	NOUN
fn106w95c07	5	20	(	(	PUNCT
fn106w95c07	5	21	dess	dess	NOUN
fn106w95c07	5	22	)	)	PUNCT
fn106w95c07	5	23	,	,	PUNCT
fn106w95c07	5	24	as	as	SCONJ
fn106w95c07	5	25	this	this	DET
fn106w95c07	5	26	class	class	NOUN
fn106w95c07	5	27	of	of	ADP
fn106w95c07	5	28	dynamic	dynamic	ADJ
fn106w95c07	5	29	systems	system	NOUN
fn106w95c07	5	30	provides	provide	VERB
fn106w95c07	5	31	suitable	suitable	ADJ
fn106w95c07	5	32	formal	formal	ADJ
fn106w95c07	5	33	models	model	NOUN
fn106w95c07	5	34	and	and	CCONJ
fn106w95c07	5	35	analytical	analytical	ADJ
fn106w95c07	5	36	techniques	technique	NOUN
fn106w95c07	5	37	to	to	PART
fn106w95c07	5	38	study	study	VERB
fn106w95c07	5	39	event	event	NOUN
fn106w95c07	5	40	-	-	PUNCT
fn106w95c07	5	41	driven	drive	VERB
fn106w95c07	5	42	systems	system	NOUN
fn106w95c07	5	43	.	.	PUNCT
fn106w95c07	6	1	in	in	ADP
fn106w95c07	6	2	this	this	DET
fn106w95c07	6	3	dissertation	dissertation	NOUN
fn106w95c07	6	4	,	,	PUNCT
fn106w95c07	6	5	we	we	PRON
fn106w95c07	6	6	tackle	tackle	VERB
fn106w95c07	6	7	two	two	NUM
fn106w95c07	6	8	classes	class	NOUN
fn106w95c07	6	9	of	of	ADP
fn106w95c07	6	10	problems	problem	NOUN
fn106w95c07	6	11	:	:	PUNCT
fn106w95c07	6	12	control	control	NOUN
fn106w95c07	6	13	of	of	ADP
fn106w95c07	6	14	dess	dess	NOUN
fn106w95c07	6	15	in	in	ADP
fn106w95c07	6	16	the	the	DET
fn106w95c07	6	17	presence	presence	NOUN
fn106w95c07	6	18	of	of	ADP
fn106w95c07	6	19	dynamic	dynamic	ADJ
fn106w95c07	6	20	environments	environment	NOUN
fn106w95c07	6	21	,	,	PUNCT
fn106w95c07	6	22	and	and	CCONJ
fn106w95c07	6	23	security	security	NOUN
fn106w95c07	6	24	enforcement	enforcement	NOUN
fn106w95c07	6	25	and	and	CCONJ
fn106w95c07	6	26	analysis	analysis	NOUN
fn106w95c07	6	27	of	of	ADP
fn106w95c07	6	28	these	these	DET
fn106w95c07	6	29	systems	system	NOUN
fn106w95c07	6	30	under	under	ADP
fn106w95c07	6	31	attack	attack	NOUN
fn106w95c07	6	32	of	of	ADP
fn106w95c07	6	33	malicious	malicious	ADJ
fn106w95c07	6	34	environments.to	environments.to	NUM
fn106w95c07	6	35	study	study	VERB
fn106w95c07	6	36	the	the	DET
fn106w95c07	6	37	behavior	behavior	NOUN
fn106w95c07	6	38	of	of	ADP
fn106w95c07	6	39	a	a	DET
fn106w95c07	6	40	des	des	X
fn106w95c07	6	41	operating	operating	NOUN
fn106w95c07	6	42	in	in	ADP
fn106w95c07	6	43	a	a	DET
fn106w95c07	6	44	dynamic	dynamic	ADJ
fn106w95c07	6	45	environment	environment	NOUN
fn106w95c07	6	46	,	,	PUNCT
fn106w95c07	6	47	we	we	PRON
fn106w95c07	6	48	propose	propose	VERB
fn106w95c07	6	49	a	a	DET
fn106w95c07	6	50	novel	novel	ADJ
fn106w95c07	6	51	des	des	X
fn106w95c07	6	52	model	model	NOUN
fn106w95c07	6	53	,	,	PUNCT
fn106w95c07	6	54	namely	namely	ADV
fn106w95c07	6	55	open	open	ADJ
fn106w95c07	6	56	des	des	X
fn106w95c07	6	57	,	,	PUNCT
fn106w95c07	6	58	that	that	PRON
fn106w95c07	6	59	captures	capture	VERB
fn106w95c07	6	60	the	the	DET
fn106w95c07	6	61	internal	internal	ADJ
fn106w95c07	6	62	model	model	NOUN
fn106w95c07	6	63	of	of	ADP
fn106w95c07	6	64	a	a	DET
fn106w95c07	6	65	system	system	NOUN
fn106w95c07	6	66	and	and	CCONJ
fn106w95c07	6	67	its	its	PRON
fn106w95c07	6	68	interactions	interaction	NOUN
fn106w95c07	6	69	with	with	ADP
fn106w95c07	6	70	an	an	DET
fn106w95c07	6	71	external	external	ADJ
fn106w95c07	6	72	dynamic	dynamic	ADJ
fn106w95c07	6	73	environment	environment	NOUN
fn106w95c07	6	74	.	.	PUNCT
fn106w95c07	7	1	with	with	ADP
fn106w95c07	7	2	this	this	DET
fn106w95c07	7	3	model	model	NOUN
fn106w95c07	7	4	,	,	PUNCT
fn106w95c07	7	5	we	we	PRON
fn106w95c07	7	6	are	be	AUX
fn106w95c07	7	7	able	able	ADJ
fn106w95c07	7	8	to	to	PART
fn106w95c07	7	9	characterize	characterize	VERB
fn106w95c07	7	10	the	the	DET
fn106w95c07	7	11	uncontrollable	uncontrollable	ADJ
fn106w95c07	7	12	behavior	behavior	NOUN
fn106w95c07	7	13	of	of	ADP
fn106w95c07	7	14	a	a	DET
fn106w95c07	7	15	des	des	X
fn106w95c07	7	16	that	that	PRON
fn106w95c07	7	17	is	be	AUX
fn106w95c07	7	18	imposed	impose	VERB
fn106w95c07	7	19	by	by	ADP
fn106w95c07	7	20	its	its	PRON
fn106w95c07	7	21	internal	internal	ADJ
fn106w95c07	7	22	dynamic	dynamic	NOUN
fn106w95c07	7	23	and	and	CCONJ
fn106w95c07	7	24	the	the	DET
fn106w95c07	7	25	external	external	ADJ
fn106w95c07	7	26	environment	environment	NOUN
fn106w95c07	7	27	inputs	input	NOUN
fn106w95c07	7	28	.	.	PUNCT
fn106w95c07	8	1	due	due	ADP
fn106w95c07	8	2	to	to	ADP
fn106w95c07	8	3	the	the	DET
fn106w95c07	8	4	unpredictability	unpredictability	NOUN
fn106w95c07	8	5	of	of	ADP
fn106w95c07	8	6	the	the	DET
fn106w95c07	8	7	external	external	ADJ
fn106w95c07	8	8	environment	environment	NOUN
fn106w95c07	8	9	,	,	PUNCT
fn106w95c07	8	10	an	an	DET
fn106w95c07	8	11	open	open	ADJ
fn106w95c07	8	12	des	des	X
fn106w95c07	8	13	should	should	AUX
fn106w95c07	8	14	be	be	AUX
fn106w95c07	8	15	controlled	control	VERB
fn106w95c07	8	16	in	in	ADP
fn106w95c07	8	17	such	such	DET
fn106w95c07	8	18	a	a	DET
fn106w95c07	8	19	way	way	NOUN
fn106w95c07	8	20	that	that	PRON
fn106w95c07	8	21	a	a	DET
fn106w95c07	8	22	desired	desire	VERB
fn106w95c07	8	23	property	property	NOUN
fn106w95c07	8	24	is	be	AUX
fn106w95c07	8	25	guaranteed	guarantee	VERB
fn106w95c07	8	26	for	for	ADP
fn106w95c07	8	27	any	any	DET
fn106w95c07	8	28	possible	possible	ADJ
fn106w95c07	8	29	environment	environment	NOUN
fn106w95c07	8	30	.	.	PUNCT
fn106w95c07	9	1	for	for	ADP
fn106w95c07	9	2	this	this	DET
fn106w95c07	9	3	problem	problem	NOUN
fn106w95c07	9	4	,	,	PUNCT
fn106w95c07	9	5	a	a	DET
fn106w95c07	9	6	game	game	NOUN
fn106w95c07	9	7	-	-	PUNCT
fn106w95c07	9	8	theoretic	theoretic	ADJ
fn106w95c07	9	9	approach	approach	NOUN
fn106w95c07	9	10	is	be	AUX
fn106w95c07	9	11	designed	design	VERB
fn106w95c07	9	12	to	to	PART
fn106w95c07	9	13	compute	compute	VERB
fn106w95c07	9	14	a	a	DET
fn106w95c07	9	15	reactive	reactive	ADJ
fn106w95c07	9	16	supervisor	supervisor	NOUN
fn106w95c07	9	17	that	that	PRON
fn106w95c07	9	18	controls	control	VERB
fn106w95c07	9	19	the	the	DET
fn106w95c07	9	20	system	system	NOUN
fn106w95c07	9	21	to	to	PART
fn106w95c07	9	22	fulfill	fulfill	VERB
fn106w95c07	9	23	the	the	DET
fn106w95c07	9	24	specifications	specification	NOUN
fn106w95c07	9	25	regardless	regardless	ADV
fn106w95c07	9	26	of	of	ADP
fn106w95c07	9	27	the	the	DET
fn106w95c07	9	28	environment	environment	NOUN
fn106w95c07	9	29	behaviors	behavior	NOUN
fn106w95c07	9	30	.	.	PUNCT
fn106w95c07	10	1	we	we	PRON
fn106w95c07	10	2	present	present	VERB
fn106w95c07	10	3	necessary	necessary	ADJ
fn106w95c07	10	4	and	and	CCONJ
fn106w95c07	10	5	sufficient	sufficient	ADJ
fn106w95c07	10	6	conditions	condition	NOUN
fn106w95c07	10	7	for	for	ADP
fn106w95c07	10	8	the	the	DET
fn106w95c07	10	9	existence	existence	NOUN
fn106w95c07	10	10	of	of	ADP
fn106w95c07	10	11	such	such	DET
fn106w95c07	10	12	a	a	DET
fn106w95c07	10	13	reactive	reactive	ADJ
fn106w95c07	10	14	supervisor.apart	supervisor.apart	NOUN
fn106w95c07	10	15	from	from	ADP
fn106w95c07	10	16	the	the	DET
fn106w95c07	10	17	reactive	reactive	ADJ
fn106w95c07	10	18	control	control	NOUN
fn106w95c07	10	19	of	of	ADP
fn106w95c07	10	20	open	open	ADJ
fn106w95c07	10	21	dess	dess	NOUN
fn106w95c07	10	22	in	in	ADP
fn106w95c07	10	23	the	the	DET
fn106w95c07	10	24	presence	presence	NOUN
fn106w95c07	10	25	of	of	ADP
fn106w95c07	10	26	dynamic	dynamic	ADJ
fn106w95c07	10	27	environments	environment	NOUN
fn106w95c07	10	28	,	,	PUNCT
fn106w95c07	10	29	we	we	PRON
fn106w95c07	10	30	investigate	investigate	VERB
fn106w95c07	10	31	the	the	DET
fn106w95c07	10	32	security	security	NOUN
fn106w95c07	10	33	of	of	ADP
fn106w95c07	10	34	these	these	DET
fn106w95c07	10	35	systems	system	NOUN
fn106w95c07	10	36	under	under	ADP
fn106w95c07	10	37	the	the	DET
fn106w95c07	10	38	attack	attack	NOUN
fn106w95c07	10	39	of	of	ADP
fn106w95c07	10	40	a	a	DET
fn106w95c07	10	41	malicious	malicious	ADJ
fn106w95c07	10	42	environment	environment	NOUN
fn106w95c07	10	43	,	,	PUNCT
fn106w95c07	10	44	termed	term	VERB
fn106w95c07	10	45	active	active	ADJ
fn106w95c07	10	46	intruder	intruder	NOUN
fn106w95c07	10	47	,	,	PUNCT
fn106w95c07	10	48	who	who	PRON
fn106w95c07	10	49	is	be	AUX
fn106w95c07	10	50	able	able	ADJ
fn106w95c07	10	51	to	to	PART
fn106w95c07	10	52	strategically	strategically	ADV
fn106w95c07	10	53	manipulate	manipulate	VERB
fn106w95c07	10	54	the	the	DET
fn106w95c07	10	55	system	system	NOUN
fn106w95c07	10	56	behavior	behavior	NOUN
fn106w95c07	10	57	to	to	PART
fn106w95c07	10	58	infer	infer	VERB
fn106w95c07	10	59	its	its	PRON
fn106w95c07	10	60	confidential	confidential	ADJ
fn106w95c07	10	61	information	information	NOUN
fn106w95c07	10	62	.	.	PUNCT
fn106w95c07	11	1	this	this	DET
fn106w95c07	11	2	security	security	NOUN
fn106w95c07	11	3	problem	problem	NOUN
fn106w95c07	11	4	is	be	AUX
fn106w95c07	11	5	formulated	formulate	VERB
fn106w95c07	11	6	in	in	ADP
fn106w95c07	11	7	terms	term	NOUN
fn106w95c07	11	8	of	of	ADP
fn106w95c07	11	9	opacity	opacity	NOUN
fn106w95c07	11	10	.	.	PUNCT
fn106w95c07	12	1	for	for	ADP
fn106w95c07	12	2	this	this	DET
fn106w95c07	12	3	configuration	configuration	NOUN
fn106w95c07	12	4	,	,	PUNCT
fn106w95c07	12	5	we	we	PRON
fn106w95c07	12	6	present	present	VERB
fn106w95c07	12	7	a	a	DET
fn106w95c07	12	8	new	new	ADJ
fn106w95c07	12	9	notion	notion	NOUN
fn106w95c07	12	10	of	of	ADP
fn106w95c07	12	11	opacity	opacity	NOUN
fn106w95c07	12	12	,	,	PUNCT
fn106w95c07	12	13	namely	namely	ADV
fn106w95c07	12	14	reactive	reactive	ADJ
fn106w95c07	12	15	opacity	opacity	NOUN
fn106w95c07	12	16	,	,	PUNCT
fn106w95c07	12	17	characterizing	characterize	VERB
fn106w95c07	12	18	a	a	DET
fn106w95c07	12	19	property	property	NOUN
fn106w95c07	12	20	that	that	PRON
fn106w95c07	12	21	the	the	DET
fn106w95c07	12	22	system	system	NOUN
fn106w95c07	12	23	does	do	AUX
fn106w95c07	12	24	not	not	PART
fn106w95c07	12	25	leak	leak	VERB
fn106w95c07	12	26	it	it	PRON
fn106w95c07	12	27	's	be	AUX
fn106w95c07	12	28	secret	secret	ADJ
fn106w95c07	12	29	information	information	NOUN
fn106w95c07	12	30	regardless	regardless	ADV
fn106w95c07	12	31	of	of	ADP
fn106w95c07	12	32	how	how	SCONJ
fn106w95c07	12	33	the	the	DET
fn106w95c07	12	34	intruder	intruder	NOUN
fn106w95c07	12	35	manipulates	manipulate	VERB
fn106w95c07	12	36	the	the	DET
fn106w95c07	12	37	system	system	NOUN
fn106w95c07	12	38	behavior	behavior	NOUN
fn106w95c07	12	39	.	.	PUNCT
fn106w95c07	13	1	we	we	PRON
fn106w95c07	13	2	provide	provide	VERB
fn106w95c07	13	3	an	an	DET
fn106w95c07	13	4	algorithm	algorithm	NOUN
fn106w95c07	13	5	for	for	ADP
fn106w95c07	13	6	verifying	verify	VERB
fn106w95c07	13	7	this	this	DET
fn106w95c07	13	8	opacity	opacity	NOUN
fn106w95c07	13	9	notion	notion	NOUN
fn106w95c07	13	10	and	and	CCONJ
fn106w95c07	13	11	,	,	PUNCT
fn106w95c07	13	12	furthermore	furthermore	ADV
fn106w95c07	13	13	,	,	PUNCT
fn106w95c07	13	14	consider	consider	VERB
fn106w95c07	13	15	enforcement	enforcement	NOUN
fn106w95c07	13	16	of	of	ADP
fn106w95c07	13	17	this	this	DET
fn106w95c07	13	18	property	property	NOUN
fn106w95c07	13	19	based	base	VERB
fn106w95c07	13	20	on	on	ADP
fn106w95c07	13	21	dynamic	dynamic	ADJ
fn106w95c07	13	22	masking	mask	VERB
fn106w95c07	13	23	techniques.along	techniques.along	ADV
fn106w95c07	13	24	with	with	ADP
fn106w95c07	13	25	the	the	DET
fn106w95c07	13	26	reactive	reactive	ADJ
fn106w95c07	13	27	opacity	opacity	NOUN
fn106w95c07	13	28	notion	notion	NOUN
fn106w95c07	13	29	,	,	PUNCT
fn106w95c07	13	30	we	we	PRON
fn106w95c07	13	31	study	study	VERB
fn106w95c07	13	32	the	the	DET
fn106w95c07	13	33	opacity	opacity	NOUN
fn106w95c07	13	34	problem	problem	NOUN
fn106w95c07	13	35	of	of	ADP
fn106w95c07	13	36	probabilistic	probabilistic	ADJ
fn106w95c07	13	37	des	des	X
fn106w95c07	13	38	in	in	ADP
fn106w95c07	13	39	the	the	DET
fn106w95c07	13	40	presence	presence	NOUN
fn106w95c07	13	41	of	of	ADP
fn106w95c07	13	42	an	an	DET
fn106w95c07	13	43	active	active	ADJ
fn106w95c07	13	44	intruder	intruder	NOUN
fn106w95c07	13	45	.	.	PUNCT
fn106w95c07	14	1	we	we	PRON
fn106w95c07	14	2	propose	propose	VERB
fn106w95c07	14	3	a	a	DET
fn106w95c07	14	4	qualitative	qualitative	ADJ
fn106w95c07	14	5	reactive	reactive	ADJ
fn106w95c07	14	6	opacity	opacity	NOUN
fn106w95c07	14	7	notion	notion	NOUN
fn106w95c07	14	8	that	that	PRON
fn106w95c07	14	9	captures	capture	VERB
fn106w95c07	14	10	the	the	DET
fn106w95c07	14	11	accumulated	accumulate	VERB
fn106w95c07	14	12	probability	probability	NOUN
fn106w95c07	14	13	that	that	SCONJ
fn106w95c07	14	14	the	the	DET
fn106w95c07	14	15	intruder	intruder	NOUN
fn106w95c07	14	16	can	can	AUX
fn106w95c07	14	17	force	force	VERB
fn106w95c07	14	18	the	the	DET
fn106w95c07	14	19	system	system	NOUN
fn106w95c07	14	20	to	to	PART
fn106w95c07	14	21	expose	expose	VERB
fn106w95c07	14	22	its	its	PRON
fn106w95c07	14	23	secret	secret	NOUN
fn106w95c07	14	24	,	,	PUNCT
fn106w95c07	14	25	termed	term	VERB
fn106w95c07	14	26	reactive	reactive	ADJ
fn106w95c07	14	27	opacity	opacity	NOUN
fn106w95c07	14	28	level	level	NOUN
fn106w95c07	14	29	.	.	PUNCT
fn106w95c07	15	1	a	a	DET
fn106w95c07	15	2	formal	formal	ADJ
fn106w95c07	15	3	verification	verification	NOUN
fn106w95c07	15	4	algorithm	algorithm	PROPN
fn106w95c07	15	5	is	be	AUX
fn106w95c07	15	6	provided	provide	VERB
fn106w95c07	15	7	to	to	PART
fn106w95c07	15	8	check	check	VERB
fn106w95c07	15	9	if	if	SCONJ
fn106w95c07	15	10	a	a	DET
fn106w95c07	15	11	given	give	VERB
fn106w95c07	15	12	probabilistic	probabilistic	NOUN
fn106w95c07	15	13	des	des	X
fn106w95c07	15	14	satisfies	satisfie	NOUN
fn106w95c07	15	15	the	the	DET
fn106w95c07	15	16	desired	desire	VERB
fn106w95c07	15	17	reactive	reactive	ADJ
fn106w95c07	15	18	opacity	opacity	NOUN
fn106w95c07	15	19	level	level	NOUN
fn106w95c07	15	20	.	.	PUNCT
fn106w95c07	16	1	to	to	PART
fn106w95c07	16	2	enhance	enhance	VERB
fn106w95c07	16	3	the	the	DET
fn106w95c07	16	4	system	system	NOUN
fn106w95c07	16	5	reactive	reactive	ADJ
fn106w95c07	16	6	opacity	opacity	NOUN
fn106w95c07	16	7	level	level	NOUN
fn106w95c07	16	8	,	,	PUNCT
fn106w95c07	16	9	we	we	PRON
fn106w95c07	16	10	propose	propose	VERB
fn106w95c07	16	11	to	to	PART
fn106w95c07	16	12	design	design	VERB
fn106w95c07	16	13	an	an	DET
fn106w95c07	16	14	obfuscation	obfuscation	NOUN
fn106w95c07	16	15	function	function	NOUN
fn106w95c07	16	16	that	that	PRON
fn106w95c07	16	17	dynamically	dynamically	ADV
fn106w95c07	16	18	changes	change	VERB
fn106w95c07	16	19	the	the	DET
fn106w95c07	16	20	probability	probability	NOUN
fn106w95c07	16	21	distribution	distribution	NOUN
fn106w95c07	16	22	of	of	ADP
fn106w95c07	16	23	the	the	DET
fn106w95c07	16	24	system	system	NOUN
fn106w95c07	16	25	output	output	NOUN
fn106w95c07	16	26	to	to	PART
fn106w95c07	16	27	deceive	deceive	VERB
fn106w95c07	16	28	the	the	DET
fn106w95c07	16	29	intruder	intruder	NOUN
fn106w95c07	16	30	inference	inference	NOUN
fn106w95c07	16	31	model	model	NOUN
fn106w95c07	16	32	.	.	PUNCT
fn106w95c07	17	1	we	we	PRON
fn106w95c07	17	2	then	then	ADV
fn106w95c07	17	3	show	show	VERB
fn106w95c07	17	4	that	that	SCONJ
fn106w95c07	17	5	the	the	DET
fn106w95c07	17	6	design	design	NOUN
fn106w95c07	17	7	of	of	ADP
fn106w95c07	17	8	such	such	DET
fn106w95c07	17	9	an	an	DET
fn106w95c07	17	10	obfuscation	obfuscation	NOUN
fn106w95c07	17	11	function	function	NOUN
fn106w95c07	17	12	can	can	AUX
fn106w95c07	17	13	be	be	AUX
fn106w95c07	17	14	converted	convert	VERB
fn106w95c07	17	15	to	to	ADP
fn106w95c07	17	16	a	a	DET
fn106w95c07	17	17	two	two	NUM
fn106w95c07	17	18	-	-	PUNCT
fn106w95c07	17	19	player	player	NOUN
fn106w95c07	17	20	stochastic	stochastic	ADJ
fn106w95c07	17	21	game	game	NOUN
fn106w95c07	17	22	between	between	ADP
fn106w95c07	17	23	the	the	DET
fn106w95c07	17	24	active	active	ADJ
fn106w95c07	17	25	intruder	intruder	NOUN
fn106w95c07	17	26	and	and	CCONJ
fn106w95c07	17	27	the	the	DET
fn106w95c07	17	28	obfuscation	obfuscation	NOUN
fn106w95c07	17	29	function	function	NOUN
fn106w95c07	17	30	.	.	PUNCT
fn106w95c07	18	1	finally	finally	ADV
fn106w95c07	18	2	,	,	PUNCT
fn106w95c07	18	3	we	we	PRON
fn106w95c07	18	4	turn	turn	VERB
fn106w95c07	18	5	our	our	PRON
fn106w95c07	18	6	focus	focus	NOUN
fn106w95c07	18	7	to	to	ADP
fn106w95c07	18	8	applications	application	NOUN
fn106w95c07	18	9	of	of	ADP
fn106w95c07	18	10	opacity	opacity	NOUN
fn106w95c07	18	11	in	in	ADP
fn106w95c07	18	12	real	real	ADJ
fn106w95c07	18	13	-	-	PUNCT
fn106w95c07	18	14	word	word	NOUN
fn106w95c07	18	15	cpss	cpss	NOUN
fn106w95c07	18	16	.	.	PUNCT
fn106w95c07	19	1	we	we	PRON
fn106w95c07	19	2	study	study	VERB
fn106w95c07	19	3	the	the	DET
fn106w95c07	19	4	privacy	privacy	NOUN
fn106w95c07	19	5	problem	problem	NOUN
fn106w95c07	19	6	of	of	ADP
fn106w95c07	19	7	location	location	NOUN
fn106w95c07	19	8	-	-	PUNCT
fn106w95c07	19	9	based	base	VERB
fn106w95c07	19	10	services	service	NOUN
fn106w95c07	19	11	in	in	ADP
fn106w95c07	19	12	the	the	DET
fn106w95c07	19	13	probabilistic	probabilistic	ADJ
fn106w95c07	19	14	des	des	ADJ
fn106w95c07	19	15	formalism	formalism	NOUN
fn106w95c07	19	16	.	.	PUNCT
fn106w95c07	20	1	we	we	PRON
fn106w95c07	20	2	characterize	characterize	VERB
fn106w95c07	20	3	a	a	DET
fn106w95c07	20	4	user	user	NOUN
fn106w95c07	20	5	mobility	mobility	NOUN
fn106w95c07	20	6	model	model	NOUN
fn106w95c07	20	7	by	by	ADP
fn106w95c07	20	8	a	a	DET
fn106w95c07	20	9	markov	markov	NOUN
fn106w95c07	20	10	decision	decision	NOUN
fn106w95c07	20	11	process	process	NOUN
fn106w95c07	20	12	(	(	PUNCT
fn106w95c07	20	13	mdp	mdp	PROPN
fn106w95c07	20	14	)	)	PUNCT
fn106w95c07	20	15	and	and	CCONJ
fn106w95c07	20	16	use	use	VERB
fn106w95c07	20	17	the	the	DET
fn106w95c07	20	18	opacity	opacity	NOUN
fn106w95c07	20	19	notion	notion	NOUN
fn106w95c07	20	20	to	to	PART
fn106w95c07	20	21	measure	measure	VERB
fn106w95c07	20	22	the	the	DET
fn106w95c07	20	23	user	user	NOUN
fn106w95c07	20	24	location	location	NOUN
fn106w95c07	20	25	privacy	privacy	NOUN
fn106w95c07	20	26	under	under	ADP
fn106w95c07	20	27	an	an	DET
fn106w95c07	20	28	attack	attack	NOUN
fn106w95c07	20	29	model	model	NOUN
fn106w95c07	20	30	of	of	ADP
fn106w95c07	20	31	a	a	DET
fn106w95c07	20	32	passive	passive	ADJ
fn106w95c07	20	33	bayesian	bayesian	ADJ
fn106w95c07	20	34	intruder	intruder	NOUN
fn106w95c07	20	35	.	.	PUNCT
fn106w95c07	21	1	we	we	PRON
fn106w95c07	21	2	then	then	ADV
fn106w95c07	21	3	exploit	exploit	VERB
fn106w95c07	21	4	the	the	DET
fn106w95c07	21	5	mdp	mdp	NOUN
fn106w95c07	21	6	model	model	NOUN
fn106w95c07	21	7	to	to	PART
fn106w95c07	21	8	design	design	VERB
fn106w95c07	21	9	a	a	DET
fn106w95c07	21	10	location	location	NOUN
fn106w95c07	21	11	protection	protection	NOUN
fn106w95c07	21	12	mechanism	mechanism	NOUN
fn106w95c07	21	13	that	that	PRON
fn106w95c07	21	14	guarantees	guarantee	VERB
fn106w95c07	21	15	a	a	DET
fn106w95c07	21	16	user	user	NOUN
fn106w95c07	21	17	-	-	PUNCT
fn106w95c07	21	18	specified	specify	VERB
fn106w95c07	21	19	privacy	privacy	NOUN
fn106w95c07	21	20	level	level	NOUN
fn106w95c07	21	21	.	.	PUNCT