المؤلفون: Ahmadpanah, Seyed Mohammad Mehdi, 1996

المصدر: WebSec: Säkerhet i webb-drivna system.

مصطلحات موضوعية: Information-flow control, Sandboxing, Modular programming, Trigger-action platforms, Browser extensions, Data minimization, Language-based security and privacy

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/542268
https://research.chalmers.se/publication/542268/file/542268_Fulltext.pdf

المؤلفون: Bernad, Matthias, Brunthaler, Stefan

المساهمون: Matthias Bernad and Stefan Brunthaler

مصطلحات موضوعية: software security, code-reuse attacks, language-based security, counterfeit-object-oriented programming, object integrity, compiler security

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.7

الاتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2024.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-208566
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.7

المؤلفون: Abhaas Goyal, Alex Potanin, Jonathan Aldrich

مصطلحات موضوعية: Computer System Security, Programming Languages, Computer-Human Interaction, Object Capabilities, Language-based Security, Module Systems, Rust, Wyvern

Relation: https://figshare.com/articles/conference_contribution/A_Comparative_Study_of_Traditional_versus_Capability-Based_Module_Systems_for_Modern_Programming_Languages/25586751

الاتاحة: https://doi.org/10.1184/r1/25586751.v1
https://figshare.com/articles/conference_contribution/A_Comparative_Study_of_Traditional_versus_Capability-Based_Module_Systems_for_Modern_Programming_Languages/25586751

المؤلفون: Condeço, Gonçalo Filipe Anjos

المساهمون: Seco, João, RUN

مصطلحات موضوعية: Information Flow, Instrumentation, Proxying, Spring Framework, Language based security, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10362/151102

المؤلفون: Tomé Cortiñas, Carlos, 1990

المصدر: WebSec: Säkerhet i webb-drivna system.

مصطلحات موضوعية: Information-flow control, Programming languages, Language-based security

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/532471
https://research.chalmers.se/publication/532471/file/532471_Fulltext.pdf

المؤلفون: Bastys, Iulia, 1986

مصطلحات موضوعية: WebAssembly apps, automatic labeling, IoT apps, enforcement granularity, design principles, information-flow control, language-based security

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/528209
https://research.chalmers.se/publication/528209/file/528209_Fulltext.pdf

المؤلفون: Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta

المساهمون: Ceragioli, Lorenzo, Degano, Pierpaolo, Galletta, Letterio

مصطلحات موضوعية: Formal security models, Language-based security, Configuration languages, Semantics of firewalls, Automatic analysis of firewalls

Relation: volume:117; firstpage:102683; journal:COMPUTERS & SECURITY; http://hdl.handle.net/20.500.11771/21038; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85126695508; https://www.sciencedirect.com/science/article/pii/S0167404822000815?via=ihub

الاتاحة: https://hdl.handle.net/20.500.11771/21038
https://doi.org/10.1016/j.cose.2022.102683
https://www.sciencedirect.com/science/article/pii/S0167404822000815?via=ihub

المؤلفون: Mondal, Priyanka, Algehed, Maximilian, 1995, Arden, Owen

المصدر: Journal of Computer Security. 31(5):615-645

مصطلحات موضوعية: distributed systems, language-based security, quorum replication, Information flow control, fault tolerant systems

URL الوصول: https://research.chalmers.se/publication/538272
https://research.chalmers.se/publication/538289

المؤلفون: Khakpour, Narges

المصدر: PROSSES Computers & security (Print). 108

مصطلحات موضوعية: Language-based security, Information flow control, Controller synthesis, Heap modeling, Computer Science, Datavetenskap

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-103731
https://doi.org/10.1016/j.cose.2021.102349

المؤلفون: Blaabjerg, Jeppe Fredsgaard, Askarov, Aslan

المصدر: Blaabjerg , J F & Askarov , A 2021 , ' Towards Language-Based Mitigation of Traffic Analysis Attacks ' , Paper presented at 34th IEEE Computer Security Foundations Symposium , Online , United States , 21/06/2021 - 25/06/2021 .

مصطلحات موضوعية: Traffic analysis, noninterference, language-based security

وصف الملف: application/pdf

Relation: https://pure.au.dk/portal/da/publications/towards-languagebased-mitigation-of-traffic-analysis-attacks(3b8f64a9-89b5-4840-8138-a17829c3759d).html

الاتاحة: https://pure.au.dk/portal/da/publications/towards-languagebased-mitigation-of-traffic-analysis-attacks(3b8f64a9-89b5-4840-8138-a17829c3759d).html
https://pure.au.dk/ws/files/223915849/selene.pdf

المؤلفون: Bijani, Shahriar

المساهمون: Robertson, Dave, Aspinall, David

مصطلحات موضوعية: security, information leakage, multi-agent systems, language based security, security type systems

URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.586531

المؤلفون: Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab

المصدر: IEEE Access, Vol 7, Pp 16550-16560 (2019)

مصطلحات موضوعية: Android security, formal verification, language-based security, locally nameless representation, machine-readable proofs, theorem proving, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8626096/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/21359ce643324d8299109d8558500682

المؤلفون: Balliu, Musard, Merro, Massimo, PASQUA, MICHELE

المساهمون: S. Delaune, L. Jia, Balliu, Musard, Merro, Massimo, Pasqua, Michele

مصطلحات موضوعية: IoT platforms, Information flow control, Formal methods and verification, Language-based security

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000558065600022; ispartofbook:IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM; IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM; firstpage:319; lastpage:334; numberofpages:16; serie:Proceedings of the 32nd IEEE Computer Security Foundations Symposium; alleditors:S. Delaune; L. Jia; http://hdl.handle.net/11562/994356; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85072602935

الاتاحة: http://hdl.handle.net/11562/994356

المؤلفون: Lourenço, Maria Luísa Sobreira Gouveia

المساهمون: Caires, Luís, RUN

مصطلحات موضوعية: Information flow, Type systems, Dependent types, Language-based security, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10362/17101

المؤلفون: Buiras, Pablo, 1986, Russo, Alejandro, 1978

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8208 LNCS:116-122

مصطلحات موضوعية: language-based security, covert channels, lazy evaluation, Haskell, information flow control

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/183098
http://publications.lib.chalmers.se/records/fulltext/183098/local_183098.pdf

المؤلفون: Askarov, Aslan, 1981, Hedin, Daniel, 1978, Sabelfeld, Andrei, 1974

المصدر: Theoretical Computer Science. 402(2-3):82-101

مصطلحات موضوعية: Information flow, Cryptography, Security type systems, Language-based security, Noninterference

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/79624
http://publications.lib.chalmers.se/records/fulltext/local_79624.pdf

المؤلفون: Schoepe, Daniel, 1989

المصدر: Programming Language-Based Security To Rescue (PROSECUTOR) AppFlow.

مصطلحات موضوعية: software security, information-flow control, program verification, language-based security

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/505892
https://research.chalmers.se/publication/505892/file/505892_Fulltext.pdf

المؤلفون: Sjösten, Alexander, 1988

مصطلحات موضوعية: web security, browser extensions, large-scale study, language-based security, information-flow control, side-effectful libraries

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/501557
https://research.chalmers.se/publication/501557/file/501557_Fulltext.pdf

المؤلفون: Küsters, Ralf, Truderung, Tomasz, Beckert, Bernhard, Bruns, Daniel, Kirsten, Michael, Mohr, Martin

مصطلحات موضوعية: language-based security, noninterference, program analysis, code-level cryptographic analysis, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

وصف الملف: application/pdf

Relation: (IACR) Cryptology ePrint Archive; https://publikationen.bibliothek.kit.edu/1000126291; https://publikationen.bibliothek.kit.edu/1000126291/95319097; https://doi.org/10.5445/IR/1000126291

الاتاحة: https://publikationen.bibliothek.kit.edu/1000126291
https://publikationen.bibliothek.kit.edu/1000126291/95319097
https://doi.org/10.5445/IR/1000126291

المؤلفون: Bernad, Matthias

مصطلحات موضوعية: systems security, code-reuse attacks, COOP, language-based security, compiler

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c828a6882252fb7caeea32345885c55b