Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2018-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_15/drp/pdf/262.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849318033577738240 |
|---|---|
| author | Vinitha Hannah Subburaj Joseph E. Urban |
| author_facet | Vinitha Hannah Subburaj Joseph E. Urban |
| author_sort | Vinitha Hannah Subburaj |
| collection | DOAJ |
| format | Article |
| id | doaj-art-60a72cfee3aa4e8b82d151ab9a0cb2ac |
| institution | Kabale University |
| issn | 2300-5963 |
| language | English |
| publishDate | 2018-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-60a72cfee3aa4e8b82d151ab9a0cb2ac2025-08-20T03:51:02ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632018-09-011570771410.15439/2018F262Applying Formal Methods to Specify Security Requirements in Multi–Agent SystemsVinitha Hannah SubburajJoseph E. Urbanhttps://annals-csis.org/Volume_15/drp/pdf/262.pdf |
| spellingShingle | Vinitha Hannah Subburaj Joseph E. Urban Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems Annals of computer science and information systems |
| title | Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems |
| title_full | Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems |
| title_fullStr | Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems |
| title_full_unstemmed | Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems |
| title_short | Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems |
| title_sort | applying formal methods to specify security requirements in multi agent systems |
| url | https://annals-csis.org/Volume_15/drp/pdf/262.pdf |
| work_keys_str_mv | AT vinithahannahsubburaj applyingformalmethodstospecifysecurityrequirementsinmultiagentsystems AT josepheurban applyingformalmethodstospecifysecurityrequirementsinmultiagentsystems |