31 search results - page 4 / 7 » Secure Enforcement for Global Process Specifications |
SEC
2004
14 years 11 months ago
2004
: Smart card secure channel protocols based on public key cryptography are not widely utilised mainly due to processing overheads introduced in the underlying smart card microproce...
SACMAT
2005
ACM
15 years 3 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
ENTCS
2002
14 years 9 months ago
2002
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
AICCSA
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
IADIS
2003
14 years 11 months ago
2003
The MODA-ML project aims to enhance the interoperability between enterprises in the Textile/Clothing sector defining a common interchange language based on a set of XML business c...