947 search results - page 134 / 190 » Provable Implementations of Security Protocols |
PADL
2012
Springer
12 years 5 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
CCS
2001
ACM
14 years 2 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
FOCS
2007
IEEE
14 years 4 months ago
2007
IEEE
The Common Reference String (CRS) model equips all protocol participants with a common string that is sampled from a pre-specified distribution, say the uniform distribution. Thi...
HOLOMAS
2003
Springer
14 years 3 months ago
2003
Springer
Agent Exchange is a virtual trading environment serving as a test bed for experiments with market simulations, trading strategies and auctioning techniques. Agent Exchange is the d...
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
Recent work has shown that conventional operating system audit trails are insufficient to detect low-level network attacks. Because audit trails are typically based upon system c...