id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
fuelectenerg-175	Bushager, Aisha; Zwolinski, Mark	EVALUATING SYSTEM SECURITY USING TRANSACTION LEVEL MODELLING	2014	15	.pdf	application/pdf	6336	306	51	SystemC has been used to produce a methodology to simulate security attacks on smart cards with fault injection [11] K. Rothbart, U. Neffe, C. Steger, R. Weiss, E. Rieger and A. Muehlberger, Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC, In: ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2005, pp.253–254.	cache/fuelectenerg-175.pdf	txt/fuelectenerg-175.txt