Portal de Periódicos da CAPES

Specifying High-Assurance Services

2008; IEEE Computer Society; Volume: 41; Issue: 8 Linguagem: Inglês

10.1109/mc.2008.308

1558-0814

Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz,

Advanced Malware Detection Techniques

An enhanced approach to service specification strikes a better balance between machine processibility and human readability, and emphasizes testing- as well as reasoning-based assurance techniques. Built-in tests check the compatibility of interacting services at runtime and automatically pinpoint contract mismatches.