613 search results - page 15 / 123 » An analysis framework for network-code programs |
108
click to vote
CCS
1998
ACM
15 years 4 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
139
click to vote
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
106
click to vote
CADE
2007
Springer
16 years 19 hour ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
DELFI
2003
15 years 1 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...