Sciweavers

3 search results - page 1 / 1
» acsac 1996
Sort
View
74
Voted
ACSAC
1996
IEEE
15 years 2 months ago
Mandatory Protection for Internet Server Software
Richard E. Smith
69
Voted
ACSAC
1996
IEEE
15 years 2 months ago
On The Design Of Secure Electronic Payment Schemes For Internet
Vijay Varadharajan, Yi Mu
109
Voted
ACSAC
1996
IEEE
15 years 2 months ago
Formal Techniques for an ITSEC-E4 Secure Gateway
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