Sciweavers

5255 search results - page 17 / 1051

» Formal Methods for Privacy

119

OOPSLA
2000
Springer

85views Security Privacy» more OOPSLA 2000»

Practical virtual method call resolution for Java

15 years 9 months ago

Practical virtual method call resolution for Java

Download www.cs.tau.ac.il

Vijay Sundaresan, Laurie J. Hendren, Chrislain Raz...

claim paper

Read More »

304

TFM
2009
Springer

292views Formal Methods» more TFM 2009»

Teaching Formal Methods Based on Rewriting Logic and Maude

16 years 14 days ago

Teaching Formal Methods Based on Rewriting Logic and Maude

Download www.di.uminho.pt

Peter Csaba Ölveczky

claim paper

Read More »

240

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

15 years 10 months ago

Enriching the Software Development Process by Formal Methods

Download www4.informatik.tu-muenchen.de

Manfred Broy, Oscar Slotosch

claim paper

Read More »

274

FM
2006
Springer

275views Formal Methods» more FM 2006»

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche

15 years 9 months ago

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche

Download david.von-oheimb.de

David von Oheimb

claim paper

Read More »

142

SEC
2008

132views Security Privacy» more SEC 2008»

Facilitating Privacy Related Decisions in Different Privacy Contexts on the Internet by Evaluating Trust in Recipients of Privat

15 years 7 months ago

Facilitating Privacy Related Decisions in Different Privacy Contexts on the Internet by Evaluating Trust in Recipients of Privat

Download www.cs.colostate.edu

Every time a user uses the Internet, a wealth of personal information is revealed, either voluntarily or involuntarily. This often causes privacy breaches, specially if the informa...

Indrajit Ray, Sudip Chakraborty

claim paper

Read More »

« Prev « First page 17 / 1051 Last » Next »