Proc. of the European symposium on programming on ESOP 86
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Handbook of automated reasoning
Handbook of automated reasoning
Web Privacy with P3p
Research on Proof-Carrying Code for Untrusted-Code Security
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Formal methods for smart cards: an experience report
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Information revelation and privacy in online social networks
Proceedings of the 2005 ACM workshop on Privacy in the electronic society
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A theory of expressiveness in mechanisms
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Verification of LTL on b event systems
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
JML2B: checking JML specifications with b machines
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Translating B machines to JML specifications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Poporo: a formal methods tool for fast-checking of social network privacy policies
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Hi-index | 0.00 |
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and how these relations effect users’ policies. The work presented in this paper is part of an ongoing work that aims at using several formal methods tools and techniques to develop a full-fledged social-network service implementing stipulated policies. Although we employed Atelier B to write Matelas, plans are to port it to Event B and to use Rodin to implement the social-network application.