Search Sciweavers | Sciweavers

3811 search results - page 1 / 763

» The Safe-Tcl Security Model

click to vote

MAS
1998
Springer

94views Communications» more MAS 1998»

The Safe-Tcl Security Model

13 years 9 months ago

Download labs.oracle.com

John K. Ousterhout, Jacob Y. Levy, Brent B. Welch

claim paper

Read More »

click to vote

ULPAA
1994

120views Hardware» more ULPAA 1994»

EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail

13 years 6 months ago

Download www.guppylake.com

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

claim paper

Read More »

click to vote

CSFW
1999
IEEE

103views Security Privacy» more CSFW 1999»

Security Function Interactions

13 years 9 months ago

Download www.cert.fr

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

claim paper

Read More »

click to vote

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

13 years 11 months ago

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »