741 search results - page 73 / 149 » Verification of security protocols using LOTOS-method and ap... |
168
click to vote
CSREASAM
2006
15 years 8 months ago
2006
The Session Initiation Protocol (SIP) is an application-layer protocol commonly used in VoIP for communication over the Internet. In this paper we describe a method to assess a pa...
183
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...
188
click to vote
CCR
2004
15 years 6 months ago
2004
Traditional application programming interfaces for transport protocols make a virtue of hiding most internal per-connection state. We argue that this informationhiding precludes m...
232
click to vote
AOSD
2005
ACM
16 years 5 days ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
160
click to vote
CD
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...