Sciweavers

7544 search results - page 249 / 1509
» Network Forensics Analysis
Sort
View
107
Voted
EUROPAR
2004
Springer
15 years 11 months ago
Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks
Lucas Baldo, Luiz Gustavo Fernandes, Paulo Roisenb...
140
Voted
FOSSACS
2004
Springer
15 years 11 months ago
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...