3420 search results - page 455 / 684 » A Language-Based Approach to Security |
155
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
177
click to vote
SP
2008
IEEE
16 years 28 days ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
167
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
173
click to vote
SP
2007
IEEE
16 years 25 days ago
2007
IEEE
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...
179
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
An alarming trend in malware attacks is that they are armed with stealthy techniques to detect, evade, and subvert malware detection facilities of the victim. On the defensive sid...