949 search results - page 22 / 190 » Design methods for security and trust |
USENIX
2004
13 years 9 months ago
2004
The prevention of damage caused to a system via malicious executables is a significant issue in the current state of security on Linux operating systems. Several approaches are av...
ACMICEC
2004
ACM
14 years 1 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
SPW
2000
Springer
13 years 11 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
ENTCS
2010
13 years 8 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...