-
1
المؤلفون: Mohammad Torabi Dashti, Simone Frau
المصدر: Security and Trust Management ISBN: 9783642380037
STMمصطلحات موضوعية: Horn clause, Asynchronous communication, Semantics (computer science), Computer science, Interface (Java), Reachability problem, Formal language, Computer security, computer.software_genre, computer, TRACE (psycholinguistics), Decidability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::98254df6400c87b625928d8b4c477927
https://doi.org/10.1007/978-3-642-38004-4_7 -
2
المؤلفون: Mohammad Torabi-Dashti, Simone Frau
المصدر: CSF
Technical Report / ETH Zurich, Department of Computer Science, 702مصطلحات موضوعية: Programming language, Computer science, Distributed computing, DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME), Formal methods, computer.software_genre, Decidability, NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), Fragment (logic), DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS), Formal specification, SPECIFICATIONS (SOFTWARE ENGINEERING), Role-based access control, SPEZIFIKATIONEN (SOFTWARE ENGINEERING), NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME), VERIFIKATION (SOFTWARE ENGINEERING), Trust management (information system), ddc:004, Role hierarchy, Formal verification, computer
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8511774115fcddb901c74ff9de197b5f
https://doi.org/10.1109/csf.2011.9 -
3
المؤلفون: Roberto Gorrieri, Simone Frau, Carlo Ferigato
المساهمون: PIERPAOLO DEGANO, JOSHUA D. GUTTMAN, FABIO MARTINELLI, S. Frau, R. Gorrieri, C. Ferigato
المصدر: Formal Aspects in Security and Trust ISBN: 9783642014642
Formal Aspects in Security and Trustمصطلحات موضوعية: PETRI NETS, Work (electrical), Computer science, Programming language, Distributed computing, Software tool, Non interference, SOFTWARE TOOL, Petri net, Process architecture, computer.software_genre, computer, INFORMATION FLOW SECURITY
وصف الملف: STAMPA
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b9f3d551407225fcd137b60c5c01a53
https://doi.org/10.1007/978-3-642-01465-9_14