Sciweavers

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