Sciweavers

6555 search results - page 216 / 1311
» Secure attribute-based systems
Sort
View
CC
2005
Springer
16 years 19 days ago
A Compiler-Based Approach to Data Security
Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richar...
132
Voted
ICEIS
2003
IEEE
16 years 11 days ago
An Architecture of a Secure Database for Networked Collaborative Activities
Manabu Ando, Kanta Matsuura, Michiharu Kudo, Akira...
219
Voted
WETICE
2005
IEEE
16 years 20 days ago
Trust Infrastructure for Policy based Messaging In Open Environments
Policy-based messaging (PBM) aims at carrying security policies with messages, which will be enforced at recipient systems to provide security features. PBM promotes a distributed...
Gansen Zhao, David W. Chadwick
CADE
2008
Springer
16 years 7 months ago
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description)
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
Anders Schack-Nielsen, Carsten Schürmann
HICSS
2007
IEEE
137views Biometrics» more  HICSS 2007»
16 years 1 months ago
Value Driven Security Threat Modeling Based on Attack Path Analysis
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
Yue Chen, Barry W. Boehm, Luke Sheppard