Sciweavers

2257 search results - page 16 / 452

» Secure program partitioning

22

IFIP
1999
Springer

83views Programming Languages» more IFIP 1999»

A Secure Station for Network Monitoring and Control

14 years 27 days ago

A Secure Station for Network Monitoring and Control

Download www.usenix.org

Vassilis Prevelakis

claim paper

Read More »

17

ICALP
2000
Springer

114views Programming Languages» more ICALP 2000»

Extended Notions of Security for Multicast Public Key Cryptosystems

14 years 7 days 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 »

22

IFIP
1992
Springer

114views Programming Languages» more IFIP 1992»

Human Factors In Computer Security

14 years 4 days ago

Human Factors In Computer Security

Download www-inst.eecs.berkeley.edu

Ibibia Dabipi, Husam Yaghi, Issam Qasem

claim paper

Read More »

21

POS
1987
Springer

94views Programming Languages» more POS 1987»

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

14 years 4 days 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 »

16

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

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