3003 search results - page 265 / 601 » Software Security: Building Security In |
159
click to vote
TRUST
2010
Springer
15 years 4 months ago
2010
Springer
Physical Uncloneable Functions (PUF) are systems whose physical behavior to different inputs can be measured reliably, yet cannot be cloned in a physical replica. Existing designs ...
150
click to vote
UTP
2010
15 years 3 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
164
click to vote
ICST
2008
IEEE
16 years 8 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
130
click to vote
ASPLOS
2006
ACM
15 years 12 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
152
Voted
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...