1106 search results - page 62 / 222 » Automated Design of Security Protocols |
172
click to vote
LPAR
2007
Springer
16 years 4 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
185
click to vote
IWCMC
2006
ACM
15 years 12 months ago
2006
ACM
Security is a critical issue in a mobile ad hoc network (MANET). In most of the previous protocols security is an added layer above the routing protocol. We propose a TrustAware R...
150
click to vote
LCN
2007
IEEE
16 years 8 days ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
147
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
143
click to vote
USENIX
2008
15 years 8 months ago
2008
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...