137 search results - page 16 / 28 » Automated Reasoning for Security Protocol Analysis |
CCS
2010
ACM
13 years 7 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
CSREASAM
2009
13 years 8 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...