640 search results - page 104 / 128 » Reasoning About Web-Site Structure |
IANDC
2008
13 years 7 months 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...
PUC
2006
13 years 7 months ago
2006
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
IJMMS
2007
13 years 7 months ago
2007
This paper argues that interactive knowledge acquisition systems would benefit from a tighter and more thorough incorporation of tutoring and learning principles. Current acquisit...
COMPSEC
2002
13 years 7 months ago
2002
In a user hierarchy we say that a security class is subordinate to another security class if the former has a lower security privilege than the latter. To implement such a hierarc...
CORR
2002
Springer
13 years 7 months 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...