3420 search results - page 495 / 684 » A Language-Based Approach to Security |
143
click to vote
DAC
2009
ACM
16 years 9 days ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
150
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
148
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Careless development of web-based applications results in vulnerable code being deployed and made available to the whole Internet, creating easily-exploitable entry points for the...
138
Voted
AIMSA
2006
Springer
15 years 9 months ago
2006
Springer
Automatic authorship identification offers a valuable tool for supporting crime investigation and security. It can be seen as a multi-class, single-label text categorization task. ...
132
click to vote
OSDI
1994
ACM
15 years 6 months ago
1994
ACM
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...