69 search results - page 3 / 14 » Towards Semantics for Provenance Security |
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
The importance of the Web service technology for business, government, among other sectors, is growing. Its use in these sectors demands security concern. The Web Services Securit...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: The LifeWatch Reference Model provides the basis for an interoperable ICT infrastructure for European biodiversity research building on standards whenever feasible. Distinguishin...