3115 search results - page 606 / 623 » Synthesizing Secure Protocols |
CCS
2004
ACM
14 years 4 months ago
2004
ACM
Access control can be used to ensure that database queries pertaining to sensitive information are not answered. This is not enough to prevent users from learning sensitive inform...
FC
2004
Springer
14 years 4 months ago
2004
Springer
We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost eï¬...
ICDCSW
2003
IEEE
14 years 4 months ago
2003
IEEE
IPsec is the current security standard for the Internet Protocol IP. According to this standard, a selected computer pair (p, q) in the Internet can be designated a “security ass...
AGENTS
2000
Springer
14 years 3 months ago
2000
Springer
Adaptivity, both of the individual agents and of the interaction structure among the agents, seems indispensable for scaling up multi-agent systems MAS's in noisy environme...
OOPSLA
1999
Springer
14 years 3 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...