3821 search results - page 3 / 765 » A Security Model for Aglets |
CRYPTO
2012
Springer
12 years 12 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
84
Voted
SICHERHEIT
2010
14 years 7 months ago
2010
: Threat Modeling erm
ISSTA
2009
ACM
15 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
131
click to vote
IEEESP
2011
14 years 29 days ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
ICEIS
2002
IEEE
15 years 2 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...