Browsing by Subject "Automatic reasoning"
Now showing items 1-1 of 1
-
Profile-based security assurances for service software
( Springer Verlag , 2011 , Conference Paper)In service software, it is highly desirable to have a service composition mechanism that supports automatic reasoning about the security assurances of services. Service consumers such as human, machine, even application ...