286 search results - page 31 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
108
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
118
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
222
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
108
click to vote
TSE
2002
15 years 1 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...