A Dynamic Algebraic Specification for Social Networks

Details A Dynamic Algebraic Specification for Social Networks A Dynamic Algebraic Specification for Social Networks

2011-06-29

arxiv.org/abs/1106.6267v1

Computer Science

Logic in Computer Science

8 apges, 1 figure, 5 tables

Scientific paper

With the help of the Internet, social networks have grown rapidly. This has increased security requirements. We present a formalization of social networks as composite behavioral objects, defined using the Observational Transition System (OTS) approach. Our definition is then translated to the OTS/CafeOBJ algebraic specification methodology. This translation allows the formal verification of safety properties for social networks via the Proof Score method. Finally, using this methodology we formally verify some security properties.

Affiliated with

Also associated with

No associations

Rating

A Dynamic Algebraic Specification for Social Networks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Dynamic Algebraic Specification for Social Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Dynamic Algebraic Specification for Social Networks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-360247