Sciweavers

5255 search results - page 17 / 1051

» Formal Methods for Privacy

24

OOPSLA
2000
Springer

85views Security Privacy» more OOPSLA 2000»

Practical virtual method call resolution for Java

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

62

TFM
2009
Springer

292views Formal Methods» more TFM 2009»

Teaching Formal Methods Based on Rewriting Logic and Maude

14 years 2 months ago

Teaching Formal Methods Based on Rewriting Logic and Maude

Download www.di.uminho.pt

Peter Csaba Ölveczky

claim paper

Read More »

60

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

13 years 12 months ago

Enriching the Software Development Process by Formal Methods

Download www4.informatik.tu-muenchen.de

Manfred Broy, Oscar Slotosch

claim paper

Read More »

60

FM
2006
Springer

275views Formal Methods» more FM 2006»

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

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

17

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

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