Author of the publication

Verification and Trade-Off Analysis of Security Properties in UML System Models.

, , , , , and . IEEE Trans. Software Eng., 36 (3): 338-356 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Toahchoodee, Manachai
add a person with the name Toahchoodee, Manachai
 

Other publications of authors with the same name

A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications., and . TrustBus, volume 5185 of Lecture Notes in Computer Science, page 48-58. Springer, (2008)Towards Trustworthy Delegation in Role-Based Access Control Model., , and . ISC, volume 5735 of Lecture Notes in Computer Science, page 379-394. Springer, (2009)On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model., and . DBSec, volume 5094 of Lecture Notes in Computer Science, page 17-32. Springer, (2008)On Digital Gardening: A Feral Hypertext in Practice., and . HT, page 197-202. ACM, (2024)On the formalization and analysis of a spatio-temporal role-based access control model., and . Journal of Computer Security, 19 (3): 399-452 (2011)HoVeR: The Holographic Visualizer on Raspberry Pi.. ISCIT, page 265-268. IEEE, (2015)A Trust-Based Access Control Model for Pervasive Computing Applications., , , and . DBSec, volume 5645 of Lecture Notes in Computer Science, page 307-314. Springer, (2009)A Spatio-temporal Role-Based Access Control Model., and . DBSec, volume 4602 of Lecture Notes in Computer Science, page 211-226. Springer, (2007)Elysia: Optimizing JavaScript Web Framework., , , and . SAC, page 1789-1796. ACM, (2024)An aspect-oriented methodology for designing secure applications, , , , , and . Information and Software Technology, (2009)