2270 search results - page 81 / 454 » Modelling Secure IT Systems - A Survey |
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
Object-based storage offloads some works of file systems to storage devices to improve security, scalability, and performance. Security is a main concern when sharing data over ne...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
BNCOD
2006
13 years 10 months ago
2006
This paper introduces the Trust Obstacle Mitigation Model (TOMM), which uses the concept of trust assumptions to derive security obstacles, and the concept of misuse cases to model...
CBMS
2000
IEEE
14 years 1 months ago
2000
IEEE
We are building a biomedical information resource consisting of digitized x-ray images and associated textual data from national health surveys. This resource, the Web-based Medic...
PERCOM
2011
ACM
13 years 3 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...