2 search results - page 1 / 1 » Checking Absence of Illicit Applet Interactions: A Case Stud... |
FASE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
TASE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...