2236 search results - page 37 / 448 » Secure Software Design in Practice |
SIES
2009
IEEE
14 years 3 months ago
2009
IEEE
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
ISPEC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
FUIN
2008
13 years 8 months ago
2008
We introduce Nuovo DRM, a digital rights management scheme aimed to provide formal and practical security. The scheme is based on a recent DRM scheme, which we formally specify in ...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Non-administrator user accounts and the user account control (UAC) approach of Windows Vista are two practical solutions to limit the damage of malware infection. UAC in Windows V...