3 citations · 5 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2011★ 2 cited
State Space Reduction in the Maude-NRL Protocol Analyzer
Santiago Escobar, Catherine Meadows, Jose Meseguer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different…
cs.CR2010★ 3 cited
Abstract Certification of Global Non-Interference in Rewriting Logic
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from occurring from high to low security…