Logics in Security 2010


LIS2010 Proceedings are now available [pdf]

Call for Papers


In the past two decades, a number of logics and formal frameworks have been proposed to model and analyse interconnected systems from the security point of view. Recently, the increasing need to cope with distributed and complex scenarios forced researchers in formal security to employ non-classical logics to reason about these systems.

The aim of this workshop is to bring together logicians and formal security researchers to foster the cross-fertilization between these two areas. Logicians have a lot to benefit from specifying and reasoning about real-world scenarios as well as researchers in security can apply recent advances in non-classical logics to improve their formalisms.

We are interested in logical and formal foundations of security to the following topics:

Language-based security
Judgmental Analysis
Automated Theorem Proving
Term-Rewriting Systems
Logical Programming
Modal Logic
Dynamic Logic
Belief Revision

applied to
Access Control
Protocol Verification
Security Architectures
Trust and Reputation Management
Static Analysis of Programs
Risk Management
Policy Compliance
Security in Multi-Agent System
Formal Cryptography


Papers should be at most 15 pages, including references in the Springer LNCS style available at the URL http://www.springer.de/comp/lncs/authors.html. Well-marked appendixes are excluded from the page limit, committee members are not required to read the appendices, so the paper should be intelligible without them. Only pdf files will be accepted. Papers must be received by the deadline of April 15th, 2010. Authors of accepted papers must guarantee that their papers will be presented at the workshop. Authors should submit their papers electronically, in .pdf format at the website :



After the workshop a selection of (possibly extended) papers will be published in a special issue of

Journal of Logic and Computation