2979 search results - page 309 / 596 » Modelling secure multiagent systems |
122
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
157
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
128
click to vote
ICDCS
1993
IEEE
15 years 9 months ago
1993
IEEE
Despite recent widespread interest in the secure authentication of principals across computer networks there has been considerably less discussion of distributed mechanisms to sup...
121
click to vote
AVBPA
2001
Springer
15 years 9 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...
156
click to vote
JSW
2008
15 years 4 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...