A flexible architecture for systematic implementation of SoC security policies

2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015

Volumn , Issue , 2016, Pages 536-543

  Basak, Abhishek ^a   Bhunia, Swarup ^a   Ray, Sandip ^b  

^a CASE WESTERN RESERVE UNIVERSITY   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE CONVERTERS; COMMERCE; COMPUTER AIDED DESIGN; DESIGN; FIRMWARE; SECURITY SYSTEMS; SYSTEM-ON-CHIP;

ARCHITECTURAL FRAMEWORKS; DEDICATED CONTROLLERS; FLEXIBLE ARCHITECTURES; INFRASTRUCTURE IP; SECURITY POLICY; SECURITY REQUIREMENTS; SUBTLE INTERACTION; UNAUTHORIZED ACCESS;

INTEGRATED CIRCUIT DESIGN;

EID: 84964425579     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCAD.2015.7372616     Document Type: Conference Paper

References (18)

1. John Rushby, "Noninterference, Transitivity, and Channel-Control Security Policies," SRI, Tech. Rep., 1992.
2. X. Li, "Sapper: A Language for Hardware Level Security Policy Enforcement," in Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.
3. S. Krstic, J. Yang, D. W. Palmer, R. B. Osborne, and E. Talmor, "Security of SoC Firmware Load Protocol," in IEEE HOST, 2014.
4. M. Sastry, I. Schoinas, and D. Cermak, "Method for enforcing resource access control in computer system," in US Patent 20120079590 A1.
5. X. Wang, Y. Zheng, A. Basak, and S. Bhunia, "IIPS: Infrastructure IP for Secure SoC Design," IEEE Transaction on Computers, 2014.
6. S. J. Greenwald, "Discussion Topic: What is the Old Security Paradigm," in Workshop on New Security Paradigms, 1998, pp. 107-118.
7. M. Miettinen, S. Heuser, W. Kronz, A. Sadeghi, and N. Ashokan, "ConXsense: automated context classification for context-aware access control," in ASIACCS, 2014, pp. 293-304.
8. M. Conti, B. Crispo, F. Fernandes, and Y. Zhauniarovich, "CRePE: A system for enforcing Fine-grained Context-related Policies on Android," IEEE Transactions on Information Forensics and Security, vol. 7, no. 5, pp. 1426-1438, 2012.
9. R. Hull, B. Kumar, P. Patel-Schneider, A. Sahuguet, S. Varadarajan, and A. Vyas, "Enabling Context-aware and Privacy-conscious User Data Sharing," in 2004 IEEE International Conference on Mobile Data Management, 2004, pp. 187-198.
10. J. Goguen and J. Meseguer, "Security Policies and Security Models," in Proc. 1982 IEEE Symposium on Security and Privacy, 1982, pp. 11-20.
11. T. Amtoft, S. Bandhakavi, and A. Banerjee, "A Logic for Information Flow in Object-Oriented Programs," in Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2006). ACM Press, Jan. 2006, pp. 91-102.
12. B. Alper and F. B. Schneider, "Recognizing Safety and Liveness," Distributed Computing, vol. 2, no. 3, pp. 117-126, 1987.
13. N. Borisov, R. Johnson, N. Sastry, and D. Wagner, "Fixing Races for Fun and Profit: How to Abuse Atime," in Proceedings of the 14th USENIX Security Symposium, 2005, pp. 303-314.
14. "www. opencores. com. "
15. J. T. Haigh and W. D. Young, "Extending the Non-Interference Version of MLS for SAT," in Symposium on Security and Privacy, 1986.
16. R. S. Chakraborty, F. Wolff, S. Paul, C. Papachristou, and S. Bhunia, "MERO: A Statistical Approach for Hardware Trojan Detection," in Workshop on Cryptographic Hardware and Embedded Systems, 2009.
17. U. Guin, D. DiMase, and M. Tehranipoor, "Counterfeit Integrated Circuits: Detection, Avoidance, and the Challenges Ahead," Journal of Electronic Testing, vol. 30, no. 1, pp. 25-40, 2014.
18. Y. Zorian, "Embedded memory test and repair: Infrastructure IP for SOC yield," in International Test Conference, 2002, pp. 340-349.