2043 search results - page 99 / 409 » Reasoning About Security Models |
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
104
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
IANDC
2008
15 years 21 days ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
108
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
88
Voted
CORR
2002
Springer
15 years 14 days ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...