2442 search results - page 225 / 489 » Secure Service Orchestration |
141
click to vote
CSFW
2009
IEEE
16 years 8 days 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. ...
150
click to vote
ETFA
2008
IEEE
15 years 12 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...
129
Voted
IEEEARES
2008
IEEE
15 years 12 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...
134
click to vote
ACSAC
2005
IEEE
15 years 11 months 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 ...
154
click to vote
ESORICS
2004
Springer
15 years 11 months 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...