Sciweavers

7544 search results - page 249 / 1509
» Network Forensics Analysis
Sort
View
EUROPAR
2004
Springer
16 years 1 days ago
Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks
Lucas Baldo, Luiz Gustavo Fernandes, Paulo Roisenb...
FOSSACS
2004
Springer
16 years 1 days 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,...