Sciweavers

2257 search results - page 16 / 452

» Secure program partitioning

112

IFIP
1999
Springer

83views Programming Languages» more IFIP 1999»

A Secure Station for Network Monitoring and Control

15 years 8 months ago

A Secure Station for Network Monitoring and Control

Download www.usenix.org

Vassilis Prevelakis

claim paper

Read More »

89

ICALP
2000
Springer

114views Programming Languages» more ICALP 2000»

Extended Notions of Security for Multicast Public Key Cryptosystems

15 years 7 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 »

109

IFIP
1992
Springer

114views Programming Languages» more IFIP 1992»

Human Factors In Computer Security

15 years 7 months ago

Human Factors In Computer Security

Download www-inst.eecs.berkeley.edu

Ibibia Dabipi, Husam Yaghi, Issam Qasem

claim paper

Read More »

92

POS
1987
Springer

94views Programming Languages» more POS 1987»

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

15 years 7 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 »

77

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 11 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

« Prev « First page 16 / 452 Last » Next »