3821 search results - page 382 / 765 » A Security Model for Aglets |
213
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
203
click to vote
ICOIN
2007
Springer
16 years 28 days ago
2007
Springer
One of the main problems of network security is Distributed Denial of Service (DDoS) caused by TCP SYN packet flooding. To counteract SYN flooding attack, several defense methods...
169
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
177
click to vote
PKC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we provide the first committed signature provably secure in the standard complexity model based on the strong RSA assumption. The idea behind the construc...
180
click to vote
DEXAW
2003
IEEE
16 years 2 days ago
2003
IEEE
Controlling access to resources is one of the most important protection goals for web-based services in practice. In general, access control requires identification of subjects t...