Sciweavers

9

ACSAC
1996
IEEE

79views Security Privacy» more ACSAC 1996»

Mandatory Protection for Internet Server Software

13 years 9 months ago

Mandatory Protection for Internet Server Software

Download www.cryptosmith.com

Richard E. Smith

claim paper

Read More »

12

ACSAC
1996
IEEE

77views Security Privacy» more ACSAC 1996»

On The Design Of Secure Electronic Payment Schemes For Internet

13 years 9 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 »

25

ACSAC
1996
IEEE

104views Security Privacy» more ACSAC 1996»

Formal Techniques for an ITSEC-E4 Secure Gateway

13 years 9 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 »