1117 search results - page 137 / 224 » A Compliance Model of Trust |
143
click to vote
SOCA
2010
IEEE
14 years 11 months ago
2010
IEEE
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
117
click to vote
ESORICS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
105
click to vote
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
110
click to vote
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...