12637 search results - page 236 / 2528 » Security for Extensible Systems |
146
Voted
SIGOPSE
2004
ACM
15 years 10 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
164
click to vote
SDMW
2005
Springer
15 years 10 months ago
2005
Springer
The Extensible Markup Language (XML) is considered as the de facto standard for information processing and exchange on the Internet and in the enterprise services domain. It is wid...
147
Voted
AFRICACRYPT
2009
Springer
15 years 12 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
158
click to vote
EKNOW
2010
14 years 12 months ago
2010
Nowadays, industry and governments are faced with an increasing number of varying threats concerning the security of their valuable business processes. Due to the vast damage pote...
159
click to vote
NTMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...