3552 search results - page 462 / 711 » Proof theory in the abstract |
174
click to vote
ISW
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
173
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
164
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
164
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
149
click to vote
VOTEID
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...