1597 search results - page 72 / 320 » Mental Models of Computer Security |
119
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
119
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
We show that, from the output of a simple 3D human pose tracker one can infer physical attributes (e.g., gender and weight) and aspects of mental state (e.g., happiness or sadness)...
125
click to vote
CCIA
2008
Springer
15 years 4 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
IWSEC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...