Sciweavers

18 search results - page 1 / 4

» fsen 2007

7

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

13 years 10 months ago

Type Abstractions of Name-Passing Processes

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

8

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

13 years 10 months ago

Action Abstraction in Timed Process Algebra

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

11

FSEN
2007
Springer

91views Software Engineering» more FSEN 2007»

Slicing Abstractions

13 years 10 months ago

Slicing Abstractions

Download react.cs.uni-sb.de

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

claim paper

Read More »

11

FSEN
2007
Springer

94views Software Engineering» more FSEN 2007»

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

13 years 8 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 »

11

FSEN
2007
Springer

109views Software Engineering» more FSEN 2007»

Is Your Security Protocol on Time ?

13 years 10 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 »