3811 search results - page 587 / 763 » The Safe-Tcl Security Model |
205
click to vote
PADS
2005
ACM
16 years 20 days ago
2005
ACM
This study presents an analysis of the impact of mitigation on computer worm propagation in Mobile Ad-hoc Networks (MANETS). According to the recent DARPA BAA Defense Against Cybe...
214
click to vote
PASTE
2005
ACM
16 years 20 days ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
158
Voted
ACNS
2005
Springer
16 years 20 days ago
2005
Springer
k-times anonymous authentication (k-TAA) schemes allow members of a group to be anonymously authenticated by application providers for a bounded number of times. k-TAA has applicat...
219
Voted
ESOP
2005
Springer
16 years 19 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
181
Voted
ICALP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...