3115 search results - page 559 / 623 » Synthesizing Secure Protocols |
130
click to vote
IADIS
2004
15 years 5 months ago
2004
Mobile IPv6 is thought to be dominant protocol for providing mobility. In the near future, most portable communication devices will deploy Mobile IPv6 mechanism. Our main concerns...
140
click to vote
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Simple Object Access Protocol (SOAP) [1] is an emerging technology in the field of web services. Web services demand high performance, security and extensibility. SOAP, being ...
150
Voted
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Many boundaries impede the flow of authorization information, forcing applications that span those boundaries into hop-by-hop approaches to authorization. We present a unified app...
174
click to vote
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
116
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
End-to-end communication encryption is considered necessary for protecting the privacy of user data in the Internet. Only a small fraction of all Internet traffic, however, is pro...