1795 search results - page 167 / 359 » Security Models and Information Flow |
146
click to vote
FGR
1998
IEEE
15 years 8 months ago
1998
IEEE
Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...
146
click to vote
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
135
click to vote
ISW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
128
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...