Abstract-Privacy har erkänts som en kritisk fråga för många samarbetsbaserade affärsmiljöer. Nyligen, kontrollera om webbtjänster sammansättning uppfyller integritetskrav är en hot spot för integritetsskydd. Men lite forskning fokuserar på krav på beteendemässig integritet. I detta dokument föreslås ett tillvägagångssätt som bygger på modellkontroll för att verifiera att beteendemedvetna integritetskrav är tillfredsställande i tjänstesammansättningen. För det första, vi extraherar LTL specifikation från beteende begränsningar integritet krav. Å andra sidan, beteendet hos BPEL processen modelleras av utökat gränssnitt automata, som stöder integritet semantik. Sedan omvandlas det till Promela beskrivning, inmatningsspråket för modellen checker SPIN. Slutligen illustrerar vi verifieringen av integritetskrav med SPIN.
Referens REF föreslår ett tillvägagångssätt baserat på modellkontroll för att verifiera att beteendemedvetna integritetskrav är tillfredsställande i tjänstesammansättningen.
Verification of Behavior-aware Privacy Requirements in Web Services Composition
{'venue': 'JSW', 'journal': 'JSW', 'mag_field_of_study': ['Computer Science']}