Sciweavers

4731 search results - page 18 / 947

» Securing Interactive Programs

163

Voted

IFIP
1999
Springer

83views Programming Languages» more IFIP 1999»

A Secure Station for Network Monitoring and Control

15 years 11 months ago

A Secure Station for Network Monitoring and Control

Download www.usenix.org

Vassilis Prevelakis

claim paper

Read More »

142

Voted

ICALP
2000
Springer

114views Programming Languages» more ICALP 2000»

Extended Notions of Security for Multicast Public Key Cryptosystems

15 years 11 months ago

Extended Notions of Security for Multicast Public Key Cryptosystems

Download www.di.ens.fr

Olivier Baudron, David Pointcheval, Jacques Stern

claim paper

Read More »

159

Voted

IFIP
1992
Springer

114views Programming Languages» more IFIP 1992»

Human Factors In Computer Security

15 years 11 months ago

Human Factors In Computer Security

Download www-inst.eecs.berkeley.edu

Ibibia Dabipi, Husam Yaghi, Issam Qasem

claim paper

Read More »

140

Voted

POS
1987
Springer

94views Programming Languages» more POS 1987»

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store

15 years 11 months ago

Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store

Download www.cs.st-andrews.ac.uk

Malcolm P. Atkinson, Ronald Morrison

claim paper

Read More »

120

Voted

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

15 years 2 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

« Prev « First page 18 / 947 Last » Next »