243 search results - page 47 / 49 » LDYIS: a Framework for Model Checking Security Protocols |
124
Voted
EUROSYS
2006
ACM
16 years 15 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
147
Voted
IANDC
2011
14 years 10 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
146
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
133
Voted
CRYPTO
2006
Springer
15 years 7 months ago
2006
Springer
This paper considers the problem of password-authenticated key exchange (PAKE) in a client-server setting, where the server authenticates using a stored password file, and it is de...
150
Voted
ICICS
2007
Springer
15 years 7 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...