Sciweavers

3 search results - page 1 / 1
» acsac 1996
Sort
View
164
Voted
ACSAC
1996
IEEE
15 years 12 months ago
On The Design Of Secure Electronic Payment Schemes For Internet
Vijay Varadharajan, Yi Mu
226
Voted
ACSAC
1996
IEEE
15 years 12 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