Sciweavers

17 search results - page 1 / 4
» Contracting the Facebook API
Sort
View
CORR
2010
Springer
60views Education» more  CORR 2010»
13 years 5 months ago
Contracting the Facebook API
Ben Rubinger, Tevfik Bultan
PERCOM
2011
ACM
12 years 8 months ago
Inference attacks by third-party extensions to social network systems
—We study inference attacks that can be launched via the extension API of Facebook. We explain the threat of these attacks through a reduction to authentication attacks, devise a...
Seyed Hossein Ahmadinejad, Mohd M. Anwar, Philip W...
FM
2011
Springer
357views Formal Methods» more  FM 2011»
12 years 8 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
SOCIALCOM
2010
13 years 2 months ago
q-Anon: Rethinking Anonymity for Social Networks
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
Aaron Beach, Mike Gartrell, Richard Han
ATAL
2010
Springer
13 years 6 months ago
Runtime monitoring of contract regulated web services
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...