3420 search results - page 306 / 684 » A Language-Based Approach to Security |
160
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Patching is a critical security service that keeps computer systems up to date and defends against security threats. Existing patching systems all require running systems. With th...
181
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
A usual concern against physical layer security is that the legitimate parties would need to have (partial) channel state information (CSI) of the eavesdropper in order to design t...
205
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
196
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
172
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...