2043 search results - page 142 / 409 » Reasoning About Security Models |
124
click to vote
AMR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
121
click to vote
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
120
click to vote
DEBU
2006
15 years 24 days ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...
120
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...