329 search results - page 24 / 66 » A Theory of Secure Control Flow |
96
Voted
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
The internet and related technologies have made multidomain collaborations a reality. Collaboration enables domains to effectively share resources; however it introduces several ...
DSN
2007
IEEE
15 years 1 months ago
2007
IEEE
Although there are various ways to exploit software vulnerabilities for malicious attacks, the attacks always result in unexpected behavior in program execution, deviating from wh...
TII
2010
14 years 4 months ago
2010
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...
108
click to vote
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...