3420 search results - page 286 / 684 » A Language-Based Approach to Security |
175
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A considerable number of anonymous RFID authentication schemes have been proposed. However, current proposals either do not provide robust security guarantees, or suffer from scal...
230
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
149
click to vote
OOPSLA
2004
Springer
16 years 15 hour ago
2004
Springer
We demonstrate a new approach to refactoring which involves the decomposition of familiar high-level refactorings such as Extract method into their components. By understanding al...
201
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Complementary security systems are widely deployed in networks to protect digital assets. Alert correlation is essential to understanding the security threats and taking appropria...
175
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...