288 search results - page 3 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
CCS
2003
ACM
13 years 11 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
ICINCO
2004
13 years 7 months ago
2004
: The automation manufacturing business has reached its turning point and manufacturers are forced to create new business areas. Their expertise about field devices will be the sou...
HICSS
2006
IEEE
14 years 2 days ago
2006
IEEE
Technological advances in the collection, storage and analysis of data have increased the ease with which businesses can make profitable use of information about individuals. Som...
ISOLA
2010
Springer
13 years 4 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...