1486 search results - page 102 / 298 » Firewall Rules Analysis |
121
click to vote
DGO
2006
15 years 5 months ago
2006
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways incl...
121
Voted
ANLP
2000
15 years 5 months ago
2000
We present an efficientmulti-levelchart parser that was designed forsyntacticanalysisofclosedcaptions (subtitles) in a real-time Machine Translation (MT) system. In order to achie...
124
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
165
click to vote
PSTV
1992
15 years 5 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
115
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...