Sciweavers

3811 search results - page 1 / 763
» The Safe-Tcl Security Model
Sort
View
69
Voted
MAS
1998
Springer
15 years 1 months ago
The Safe-Tcl Security Model
John K. Ousterhout, Jacob Y. Levy, Brent B. Welch
ULPAA
1994
120views Hardware» more  ULPAA 1994»
14 years 10 months ago
EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
Nathaniel S. Borenstein
CSFW
1999
IEEE
15 years 1 months ago
Security Function Interactions
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
Pierre Bieber
IWSEC
2007
Springer
15 years 3 months ago
On Security Models and Compilers for Group Key Exchange Protocols
Emmanuel Bresson, Mark Manulis, Jörg Schwenk