• Suche: Object oriented verification kernels for secure Java applications

Treffer 1 - 20 von 1.431

1

Object oriented verification kernels for secure Java applications
Grandy, H. ; Stenzel, K. ; Reif, W.
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) Software Engineering and Formal Methods Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. :170-179 2005

Konferenz
Merkliste
3

Using software metrics for predicting vulnerable classes in java and python based systems.
Sultana, Kazi Zakia ; Anu, Vaibhav ; Chong, Tai-Yin
Information Security Journal: A Global Perspective. 2024, Vol. 33 Issue 3, p251-267. 17p.

Fachzeitschrift
Merkliste
4

Specification and Verification: The Spec# Experience.
BARNETT, MIKE ; FÄHNDRICH, MANUEL ; LEINO, K. RUSTAN M. ; et al.
Communications of the ACM. Jun2011, Vol. 54 Issue 6, p81-91. 11p. 2 Color Photographs, 2 Diagrams.

Zeitschrift
Merkliste
5

Ingeniería de procesos de software
Bermon Angarita, Leonardo

000 - Ciencias de la com... información y obras gene... programas datos de computación Ingeniería de software -... ejercicios …
Buch
Merkliste
7

Secure Compilation to Protected Module Architectures.
PATRIGNANI, MARCO ; AGTEN, PIETER ; STRACKX, RAOUL ; et al.
ACM Transactions on Programming Languages & Systems. Apr2015, Vol. 37 Issue 2, p6:1-6:50. 50p.

Fachzeitschrift
Merkliste
8

A ticket-based access control architecture for object systems.
Hale, John ; Threet, Jody ; Shenoi, Sujeet
Journal of Computer Security. 2000, Vol. 8 Issue 1, p43. 23p. 9 Diagrams.

Fachzeitschrift
Merkliste
9

Secure object referencing for an object-oriented computing system.
Lo, K.M. ; Yu, W.S. ; Fong, A.S.
International Conference on Electrical, Electronic & Computer Engineering, 2004. ICEEC '04; 2004, p273-276, 4p

Konferenz
Merkliste
10

A SOA and DBUS-based Robotic Component Interaction.
Srivastava, R. P. ; Umrao, L. S. ; Yadav, R. S.
Journal of Scientific Research; 2023, Vol. 15 Issue 1, p11-29, 19p

MOBILE robots OBJECT-oriented programm... ROBOTICS AUTONOMOUS robots
Fachzeitschrift
Merkliste
11

SSA Transformations to Facilitate Type Inference in Dynamically Typed Code.
QUIROGA, JOSE ; ORTIN, FRANCISCO
Computer Journal; Sep2017, Vol. 60 Issue 9, p1300-1315, 16p

PROGRAMMING languages OBJECT-oriented programm... JAVA programming languag... MICROSOFT .NET Framework C# (Computer program lan... COMPUTER storage capacit... …
Fachzeitschrift
Merkliste
12

Zilch: A Framework for Deploying Transparent Zero-Knowledge Proofs.
Mouris, Dimitris ; Tsoutsos, Nektarios Georgios
IEEE Transactions on Information Forensics & Security; 2021, Vol. 16, p3269-3284, 16p

Fachzeitschrift
Merkliste
13

Modular Reasoning in Object-Oriented Programming.
Naumann, David A.
Verified Software: Theories, Tools, Experiments; 2008, p105-115, 11p

Buch
Merkliste
14

Frameworks compiled from declarations: a language-independent approach.
Walt, Paul ; Consel, Charles ; Balland, Emilie
Software: Practice & Experience; May2017, Vol. 47 Issue 5, p741-762, 22p

ANDROID (Operating syste... AD hoc computer networks JAVA programming languag... DOMAIN-specific programm... DATA security
Fachzeitschrift
Merkliste
15

Stack-based access control and secure information flow.
ANINDYA BANERJEE ; DAVID A. NAUMANN
Journal of Functional Programming; Mar2005, Vol. 15 Issue 2, p131-177, 47p

ACCESS control JAVA programming languag... PROGRAMMING languages C++ COMPUTER networks
Fachzeitschrift
Merkliste
16

Evolutionary Simulation-Based-Design (ESBD) methodology for large computer integrated manufacturing systems.
Shin, Jong Gye ; Sohn, Sug Je
International Journal of Computer Integrated Manufacturing. Aug2001, Vol. 14 Issue 4, p385-398. 14p.

Fachzeitschrift
Merkliste
17

An Extensible Encoding of Object-oriented Data Models in hol.
Achim Brucker ; Burkhart Wolff
Journal of Automated Reasoning; Nov2008, Vol. 41 Issue 3/4, p219-249, 31p

COMPARATIVE linguistics INFORMATION theory ARTIFICIAL languages PROGRAMMING languages
Fachzeitschrift
Merkliste
18

Systems Correctness Practices at Amazon Web Services.
Brooker, Marc ; Desai, Ankush
Communications of the ACM. Jun2025, Vol. 68 Issue 6, p38-42. 5p.

Zeitschrift
Merkliste
19

A Survey of Program Analysis for Distributed Software Systems.
Cai, Haipeng
ACM Computing Surveys. Dec2025, Vol. 57 Issue 12, p1-45. 45p.

Fachzeitschrift
Merkliste
20

A Deductive Proof System for Multithreaded Java with Exceptions.
Ábrahám, Erika ; De Roever, Willem-Paul ; De Boer, Frank S. ; et al.
Fundamenta Informaticae; 2008, Vol. 82 Issue 4, p391-463, 73p, 13 Charts

JAVA programming languag... PROGRAMMING languages COMPUTER programming ALGORITHMS SYSTEMS development
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter