4286 search results - page 68 / 858 » Formalizing Service Interactions |
123
Voted
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
126
click to vote
TRUSTBUS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
126
click to vote
ICWS
2008
IEEE
15 years 4 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
120
Voted
ACIIDS
2009
IEEE
15 years 6 months ago
2009
IEEE
Inter domain service routing is an element in the success of Next Generation Network. Service requests, such as the INVITE request in Session Initiation Protocol [21] may need to ...
108
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...