تصفح حسب الموضوع "Automatic reasoning"
السجلات المعروضة 1 -- 1 من 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 ...