756 search results - page 62 / 152 » Modeling Computational Security in Long-Lived Systems |
CP
2007
Springer
15 years 6 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Today, there is a variety of systems that support business process as a whole or partially. However, normative systems are not appropriate for some domains (e.g. health care) as a...
157
click to vote
DSN
2011
IEEE
13 years 11 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
110
click to vote
PODC
2003
ACM
15 years 5 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...