229 search results - page 11 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
100
click to vote
ETRICS
2006
15 years 3 months ago
2006
Intrusion detection aims at raising an alarm any time the security of an IT system gets compromised. Though highly successful, Intrusion Detection Systems are all susceptible of mi...
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
SOCA
2008
IEEE
14 years 11 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
116
click to vote
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...