2442 search results - page 225 / 489 » Secure Service Orchestration |
176
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
185
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Security aspects of today’s automation systems gain increasing importance. One critical point regarding security is the exchange of control data over the network. Recently, cryp...
161
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
178
click to vote
ACSAC
2005
IEEE
16 years 24 days ago
2005
IEEE
Fine-grained and expressive access control policies on application resources need to be enforced in applicationlevel code. Uniformly enforcing a single policy (referred to as the ...
191
click to vote
ESORICS
2004
Springer
16 years 17 days ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...