47 search results - page 5 / 10 » A Few Remarks about Formal Development of Secure Systems |
114
click to vote
JCDL
2004
ACM
15 years 9 months ago
2004
ACM
The Digital Collection and Archives (DCA) in partnership with Academic Technology (AT) at Tufts University developed a digital library solution for long-term storage and integrati...
151
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
115
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
138
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
128
click to vote
NDSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...