Search Sciweavers | Sciweavers

4340 search results - page 69 / 868

» Formal Methods and Cryptography

click to vote

JUCS
2007

87views more JUCS 2007»

Formal Methods for Specifying, Validating, and Verifying Requirements

15 years 3 months ago

Download www.cs.man.ac.uk

Constance L. Heitmeyer

claim paper

Read More »

Voted

CJ
2002

70views more CJ 2002»

Formal Methods for Assuring Security of Protocols

15 years 3 months ago

Download www.ecs.syr.edu

l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...

Susan Older, Shiu-Kai Chin

claim paper

Read More »

click to vote

CN
1998

58views more CN 1998»

Formal Methods for Broadband and Multimedia Systems

15 years 3 months ago

Download www.inf.uni-konstanz.de

Stefan Fischer, Stefan Leue

claim paper

Read More »

Voted

FAC
1998

99views more FAC 1998»

Heterogeneous Notations for Pure Formal Method Integration

15 years 3 months ago

Download www-users.cs.york.ac.uk

Richard F. Paige

claim paper

Read More »

106

Voted

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers