3811 search results - page 211 / 763 » The Safe-Tcl Security Model |
291
click to vote
ICOIN
2005
Springer
16 years 2 days ago
2005
Springer
Network Forensics is an important extension to the model of network security where emphasis is traditionally put on prevention and to a lesser extent on detection. It focuses on th...
194
click to vote
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
The OAEP encryption scheme was introduced by Bellare and Rogaway at Eurocrypt ’94. It converts any trapdoor permutation scheme into a public-key encryption scheme. OAEP is widel...
141
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
183
click to vote
ISSE
2010
15 years 1 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
185
click to vote
ISSE
2010
15 years 5 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...