Sciweavers

18 search results - page 1 / 4

» fsen 2007

14

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

14 years 1 months ago

Type Abstractions of Name-Passing Processes

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

17

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

14 years 1 months ago

Action Abstraction in Timed Process Algebra

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

23

FSEN
2007
Springer

91views Software Engineering» more FSEN 2007»

Slicing Abstractions

14 years 1 months ago

Slicing Abstractions

Download react.cs.uni-sb.de

Ingo Brückner, Klaus Dräger, Bernd Finkb...

claim paper

Read More »

21

FSEN
2007
Springer

94views Software Engineering» more FSEN 2007»

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

13 years 11 months ago

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

Download www.few.vu.nl

We formally specify the recent DRM scheme of Nair et al. in the

Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug...

claim paper

Read More »

18

FSEN
2007
Springer

109views Software Engineering» more FSEN 2007»

Is Your Security Protocol on Time ?

14 years 1 months ago

Is Your Security Protocol on Time ?

Download pegaz.ipipan.waw.pl

Abstract. In this paper we oﬀer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...

Gizela Jakubowska, Wojciech Penczek

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »