21 search results - page 1 / 5 » atva 2008 |
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
marization using Abstract Transformers Daniel Kr
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...