3420 search results - page 517 / 684 » A Language-Based Approach to Security |
191
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
245
click to vote
SPEECH
2011
15 years 5 hour ago
2011
Typical speech enhancement methods, based on the short-time Fourier analysis-modification-synthesis (AMS) framework, modify only the magnitude spectrum and keep the phase spectru...
131
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Cancelable biometric systems are gaining in popularity for use in person authentication for applications where the privacy and security of biometric templates are important consid...
157
click to vote
EWSN
2009
Springer
16 years 5 months ago
2009
Springer
We consider the problem of cooperative intrusion detection in wireless sensor networks where the nodes are equipped with local detector modules and have to identify the intruder in...
169
click to vote
SIGMOD
2001
ACM
16 years 5 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...