3811 search results - page 176 / 763 » The Safe-Tcl Security Model |
182
Voted
CCS
2003
ACM
16 years 7 days ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
166
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...
169
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
169
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
175
Voted
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...