Sciweavers

31

ACSAC
1996
IEEE

79views Security Privacy» more ACSAC 1996»

Mandatory Protection for Internet Server Software

14 years 3 months ago

Mandatory Protection for Internet Server Software

Download www.cryptosmith.com

Richard E. Smith

claim paper

Read More »

29

ACSAC
1996
IEEE

77views Security Privacy» more ACSAC 1996»

On The Design Of Secure Electronic Payment Schemes For Internet

14 years 3 months ago

On The Design Of Secure Electronic Payment Schemes For Internet

Download www.it.iitb.ac.in

Vijay Varadharajan, Yi Mu

claim paper

Read More »

48

ACSAC
1996
IEEE

104views Security Privacy» more ACSAC 1996»

Formal Techniques for an ITSEC-E4 Secure Gateway

14 years 3 months ago

Formal Techniques for an ITSEC-E4 Secure Gateway

Download www.cert.fr

In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...

Pierre Bieber

claim paper

Read More »