6164 search results - page 609 / 1233 » Teaching Computer Security |
196
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
192
click to vote
AIMS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...
196
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
250
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
To counter the increasing number of online threats for users' privacy and security, this paper explores the design of an ambient security indicator, in form of a standard key...
153
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The role of T-cells within the immune system is to confirm and assess anomalous situations and then either respond to or tolerate the source of the effect. To illustrate how these ...