288 search results - page 34 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
WSC
2004
14 years 11 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
CEAS
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we detail the use of e-mail social network analysis for the detection of security policy violations on computer systems. We begin by formalizing basic policies that ...
CIS
2005
Springer
15 years 3 months ago
2005
Springer
When considering information security and privacy issues most of the attention has previously focussed on data protection and the privacy of personally identifiable information (PI...
114
click to vote
SASO
2007
IEEE
15 years 4 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...