Enterprise Information Systems · 2010 · 42 citations · 24 references
EngineeringNetwork AnalysisPolicy LanguagesSemantic WebFormal VerificationPolicy ManagementComputational Social ScienceSocial Network SecurityMechanism DesignSocial Network AnalysisPublic PolicySocial NetworksReasoning FrameworkFormal ModelingData PrivacyComputer ScienceSocial Network AggregationSocial SoftwareNetwork ScienceAutomated ReasoningSocial ComputingFormal MethodsBusinessSemantic Social NetworkSocial Networks Masses
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that social networks have taken off, the need to revisit policy languages and realign them towards social networks requirements has become more apparent. One such language is explored as to its applicability to the social networks masses. We also argue that policy languages alone are not sufficient and thus they should be paired with reasoning mechanisms to provide precise and unambiguous execution models of the policies. To this end, we propose a computationally oriented model to represent, reason with and execute policies for social networks.
24
Representation results for defeasible logic
Grigoris Antoniou, David P. Billington, Guido Governatori et al. · ACM Transactions on Computational Logic · 2001 · 367 citations · Full text