243 search results - page 40 / 49 » LDYIS: a Framework for Model Checking Security Protocols |
158
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
236
Voted
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Directories have become an important component of the enterprise security and identity management middleware. This paper describes a novel filter based replication model for Light...
122
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
132
Voted
ICSE
2005
IEEE-ACM
16 years 5 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
131
click to vote
EATIS
2007
ACM
15 years 9 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...