70 search results - page 5 / 14 » Algebraic Intruder Deductions |
ERSHOV
2003
Springer
13 years 10 months ago
2003
Springer
ADBIS
2005
Springer
13 years 10 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
FOSAD
2009
Springer
13 years 12 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
FUIN
2007
13 years 5 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
TPHOL
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...