2270 search results - page 17 / 454 » Modelling Secure IT Systems - A Survey |
EXPCS
2007
14 years 15 days ago
2007
In surprisingly many computer science research projects, system outcomes may be influenced by computerized or human agents with different economic incentives. Such studies include...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
Java is the predominant language for mobile agent systems, both for implementing mobile agent execution environments and for writing mobile agent applications. This is due to inhe...
ESORICS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The design and implementation of security threat mitigation mechanisms in RFID systems, specially in low-cost RFID tags, are gaining great attention in both industry and ...
CRYPTO
2012
Springer
11 years 11 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...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Managing security projects is a delicate activity due to the evolution of attacks. In this paper, we develop a new methodology for estimating security effort based on algebraic...