288 search results - page 14 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
CCS
2010
ACM
14 years 10 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
IFIP3
1998
14 years 11 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
TSE
2008
14 years 9 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...