626 search results - page 66 / 126 » Analysing Security Requirements of Information Systems Using... |
ICISS
2010
Springer
13 years 5 months ago
2010
Springer
Existing proposals for end-to-end independently-verifiable (E2E) voting systems require that voters check the presence of a "receipt" on a secure bulletin board. The tall...
SCN
2008
Springer
13 years 7 months ago
2008
Springer
Relative location information helps build vehicle topology maps. Such maps provide location information of nearby vehicles to drivers. In building a vehicle topology, one must cons...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...
CCS
2010
ACM
13 years 4 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...