Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
150 | Adrian Perrig |
The BiBa one-time signature and broadcast authentication protocol. |
CCS |
2001 |
DBLP DOI BibTeX RDF |
signature based on a one-way function without trapdoor, source authentication for multicast, broadcast authentication, one-time signature |
104 | Kweku Kwakye Arthur, Martin S. Olivier, Hein S. Venter |
Applying The Biba Integrity Model to Evidence Management. (PDF / PS) |
IFIP Int. Conf. Digital Forensics |
2007 |
DBLP DOI BibTeX RDF |
Evidence management, Biba integrity model, Casey’s certainty scale |
91 | Monageng Kgwadi, Thomas Kunz |
Securing RDS broadcast messages for smart grid applications. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
BiBa, DR programs, HORSE, RDS, authentication, ECDSA |
78 | Liuying Tang, Sihan Qing |
A Practical Alternative to Domain and Type Enforcement Integrity Formal Models. |
Inscrypt |
2006 |
DBLP DOI BibTeX RDF |
security goal, integrity, information flow, formal model, Security label |
59 | Hao Hu, Dengguo Feng |
BIFI: Architectural Support for Information Flow Integrity Measurement. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Leonid Reyzin, Natan Reyzin |
Better than BiBa: Short One-Time Signatures with Fast Signing and Verifying. |
ACISP |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Xiaopeng Tian, Haohao Song |
A zero trust method based on BLP and BIBA model. |
ISCID |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Mike Westmacott |
Biba Security Model Inspired Social Media Security Controls. |
TTO |
2019 |
DBLP BibTeX RDF |
|
32 | Gang Liu 0006, Jing Zhang, Jinhui Liu, Yuan Zhang |
Improved Biba model based on trusted computing. |
Secur. Commun. Networks |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Roberto Sassu, Gianluca Ramunno, Antonio Lioy |
Practical Assessment of Biba Integrity for TCG-Enabled Platforms. |
TrustCom |
2014 |
DBLP DOI BibTeX RDF |
|
32 | |
Biba Mandatory Integrity Policy. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Jonathan K. Millen |
Biba Model. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Aaron Estes |
Biba Integrity Model. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Mingxi Zhang |
Strict Integrity Policy of Biba Model with Dynamic Characteristics and its Correctness. |
CIS (1) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Ning Wang, Zhijun Liu, Yuping Huang |
Applying Dynamic Labels of the Biba Model in Forensic Evidence Analysis. |
CIS (2) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Leonid Reyzin, Natan Reyzin |
Better than BiBa: Short One-time Signatures with Fast Signing and Verifying. |
IACR Cryptol. ePrint Arch. |
2002 |
DBLP BibTeX RDF |
|
30 | Isak Shabani, Tonit Biba, Betim Çiço |
Design of a Cattle-Health-Monitoring System Using Microservices and IoT Devices. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Kristi Gorea, Marenglen Biba |
Usage of Non-Fungible Tokens in Property Registration: A Case Study for Albania. |
3PGCIC |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Muhamet Kastrati, Marenglen Biba, Ali Shariq Imran, Zenun Kastrati |
Sentiment Polarity and Emotion Detection from Tweets Using Distant Supervision and Deep Learning Models. |
ISMIS |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Marjana Prifti Skenduli, Marenglen Biba, Corrado Loglisci, Michelangelo Ceci, Donato Malerba |
Mining emotion-aware sequential rules at user-level from micro-blogs. |
J. Intell. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Muhamet Kastrati, Marenglen Biba |
A State-of-the-art Survey of Advanced Optimization Methods in Machine Learning. |
RTA-CSIT |
2021 |
DBLP BibTeX RDF |
|
30 | Marjana Prifti Skenduli, Marenglen Biba |
Classification and Clustering of Emotive Microblogs in Albanian: Two User-Oriented Tasks. |
Complex Pattern Mining |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Alessandro Tonacci, Jorilda Biba, Francesco Sansone, Lucia Billeci, Gennaro D'Angelo, Immacolata Minichiello, Raffaele Conte, Lorenza Pratali |
Are Wearable Sensors Useful to Assess the Psychophysical Fatigue Due to Physical Activity in Elderly People with Mild Cognitive Impairment? A Preliminary Study. |
ForItAAL |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Nelda Kote, Marenglen Biba, Jenna Kanerva, Samuel Rönnqvist, Filip Ginter |
Morphological Tagging and Lemmatization of Albanian: A Manually Annotated Corpus and Neural Models. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
30 | Alexander Hirler, Adnan Alsioufy, Josef Biba, T. Lehndorff, D. Lipp, Helmut Lochner, Mahesh Siddabathula, S. Simon, Torsten Sulima, Maciej Wiatr, Walter Hansch |
Alternating Temperature Stress and Deduction of Effective Stress Levels from Mission Profiles for Semiconductor Reliability. |
IRPS |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Nelda Kote, Marenglen Biba, Evis Trandafili |
An Experimental Evaluation of Algorithms for Opinion Mining in Multi-domain Corpus in Albanian. |
ISMIS |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Marjana Prifti Skenduli, Marenglen Biba, Corrado Loglisci, Michelangelo Ceci, Donato Malerba |
User-Emotion Detection Through Sentence-Based Classification Using Deep Learning: A Case-Study with Microblogs in Albanian. |
ISMIS |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Nelda Kote, Marenglen Biba, Elena Canaj |
Bayesian Networks: A State-Of-The-Art Survey. |
RTA-CSIT |
2018 |
DBLP BibTeX RDF |
|
30 | Nelda Kote, Marenglen Biba, Evis Trandafili |
A Thorough Experimental Evaluation of Algorithms for Opinion Mining in Albanian. |
EIDWT |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Marjana Prifti Skenduli, Corrado Loglisci, Michelangelo Ceci, Marenglen Biba, Donato Malerba |
An Empirical Evaluation of Sequential Pattern Mining Algorithms. |
EIDWT |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Evis Trandafili, Nelda Kote, Marenglen Biba |
Performance Evaluation of Text Categorization Algorithms Using an Albanian Corpus. |
EIDWT |
2018 |
DBLP DOI BibTeX RDF |
|
30 | A. Hirler, J. Biba, A. Alsioufy, T. Lehndorff, T. Sulima, H. Lochner, U. Abelein, Walter Hansch |
Evaluation of effective stress times and stress levels from mission profiles for semiconductor reliability. |
Microelectron. Reliab. |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Ashim Chakraborty, David Chik, Matilda Biba, M. Alamgir Hossain |
A decision scheme based on adaptive morphological image processing for mobile detection of early stage diabetic retinopathy. |
SKIMA |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Lediona Nishani, Marenglen Biba |
Randomizing Greedy Ensemble Outlier Detection with GRASP. |
CISIS |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Lediona Nishani, Marenglen Biba |
Machine learning for intrusion detection in MANET: a state-of-the-art survey. |
J. Intell. Inf. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Marco Antonio To, Oscar Rodas, Preng Biba, Stéphane Maag |
A proactive approach for strip interoperability in wireless ad hoc routing protocols. |
LATINCOM |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Antonio To, Marcos Cano, Preng Biba |
DOCKEMU - A Network Emulation Tool. |
AINA Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Evis Trandafili, Marenglen Biba |
Scalable and High Performing Learning and Mining in Large-Scale Networked Environments: A State-of-the-art Survey. |
Trans. Comput. Collect. Intell. |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Ngoc Thanh Nguyen 0001, Joanna Kolodziej, Tadeusz Burczynski, Marenglen Biba (eds.) |
Transactions on Computational Collective Intelligence X |
Trans. Computational Collective Intelligence |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Evis Trandafili, Marenglen Biba |
A Review of Machine Learning and Data Mining Approaches for Business Applications in Social Networks. |
Int. J. E Bus. Res. |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Akil Rajdho, Marenglen Biba |
Plugging Text Processing and Mining in a Cloud Computing Framework. |
Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marjana Prifti Skenduli, Marenglen Biba |
A Named Entity Recognition approach for Albanian. |
ICACCI |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Eva Gjati |
Boosting Text Classification through Stemming of Composite Words. |
ISI |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Mersida Mane |
Sentiment Analysis through Machine Learning: An Experimental Evaluation for Albanian. |
ISI |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Floriana Esposito, Domenico Grieco, Marenglen Biba |
Contour-Based Progressive Identification of Known Shapes in Images. |
IRCDL |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Youngjoon Byun, Sathya Narayanan, Stephanie Mott, Ken Biba, Jason Schwenkler, Robert Osborn, Michael Morris |
Wireless Broadband Measurement in California. |
ITNG |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Evis Trandafili, Marenglen Biba, Aleksander Xhuvani |
Profiling Social Network Users With Machine Learning. |
BCI (Local) |
2013 |
DBLP BibTeX RDF |
|
30 | Dana Hlinená, Vladislav Biba |
Evaluating many valued modus ponens. |
Kybernetika |
2012 |
DBLP BibTeX RDF |
|
30 | Vladislav Biba, Dana Hlinená |
Generated fuzzy implicators and fuzzy preference structures. |
Kybernetika |
2012 |
DBLP BibTeX RDF |
|
30 | Erida Lice, Marenglen Biba |
Customizing Rational Unified Process in a Systems Integration Scenario. |
CISIS |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Erita Skendaj, Marenglen Biba |
Secure File Sharing in JXTA Using Digital Signatures. |
CISIS |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Kevin M. Curtin, Steve Biba |
The Transit Route Arc-Node Service Maximization problem. |
Eur. J. Oper. Res. |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
Boosting learning and inference in Markov logic through metaheuristics. |
Appl. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Fatos Xhafa, Floriana Esposito, Stefano Ferilli |
Stochastic simulation and modelling of metabolic networks in a machine learning framework. |
Simul. Model. Pract. Theory |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Fatos Xhafa (eds.) |
Learning Structure and Schemas from Documents |
|
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Fatos Xhafa |
Learning Structure and Schemas from Heterogeneous Domains in Networked Systems Surveyed. |
Learning Structure and Schemas from Documents |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
Protein Fold Recognition Using Markov Logic Networks. |
Mathematical Approaches to Polymer Sequence Analysis and Related Problems |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Marenglen Biba |
DDTA - Digitalisation of Districts in the Textile and Clothing Sector. |
IRCDL |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Nicolas Lachance-Bernard, Timothée Produit, Biba Tominc, Matej Niksic, Barbara Golicnik Marusic |
Network based Kernel Density Estimation for Cycling Facilities Optimal Location Applied to Ljubljana. |
ICCSA (2) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Fatos Xhafa, Floriana Esposito, Stefano Ferilli |
Engineering SLS Algorithms for Statistical Relational Models. |
CISIS |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Fatos Xhafa, Floriana Esposito, Stefano Ferilli |
Using Machine Learning Techniques for Modelling and Simulation of Metabolic Networks. |
CISIS |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Teresa Maria Altomare Basile, Floriana Esposito, Marenglen Biba |
A Contour-Based Progressive Technique for Shape Recognition. |
ICDAR |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Steve Biba, Kevin M. Curtin, Germana Manca |
A new method for determining the population with walking access to transit. |
Int. J. Geogr. Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
Towards Multistrategic Statistical Relational Learning. |
Advances in Machine Learning II |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Teresa Maria Altomare Basile, Floriana Esposito |
Using Explicit Word Co-occurrences to Improve Term-Based Text Retrieval. |
IRCDL |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito |
Merging Structural and Taxonomic Similarity for Text Retrieval Using Relational Descriptions. |
IRCDL |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Fatos Xhafa |
Learning Structure and Schemas from Heterogeneous Domains in Networked Systems: A Survey. |
INCoS |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Elton Ballhysa, Narasimha Rao Vajjhala, Vijay Raju Mullagiri |
A Novel Structure Refining Algorithm for Statistical-Logical Models. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
Statistical Relational Learning, Theory revision, Markov Logic Networks |
30 | Stefano Ferilli, Teresa Maria Altomare Basile, Marenglen Biba, Nicola Di Mauro, Floriana Esposito |
A General Similarity Framework for Horn Clause Logic. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Jirí Vokrínek, Jirí Bíba, Jirí Hodík, Jaromír Vybíhal |
The RBVO Formation Protocol. |
Int. J. Agent Oriented Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Floriana Esposito, Marenglen Biba, Stefano Ferilli |
Intelligent Text Processing Techniques for Textual-Profile Gene Characterization. |
CIBB |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Jirí Bíba, Jirí Hodík, Michal Jakob, Michal Pechoucek |
Contract Observation in Web Services Environments. |
SOCASE |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
Efficient MAP Inference for Statistical Relational Models through Hybrid Metaheuristics. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Teresa Maria Altomare Basile, Floriana Esposito |
Combining Qualitative and Quantitative Keyword Extraction Methods with Document Layout Analysis. |
IRCDL |
2009 |
DBLP BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito |
Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
High Performing Algorithms for MAP and Conditional Inference in Markov Logic. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Floriana Esposito, Teresa Maria Altomare Basile |
A Distance-Based Technique for Non-Manhattan Layout Analysis. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Antonín Komenda, Michal Pechoucek, Jirí Bíba, Jirí Vokrínek |
Planning and re-planning in multi-actors scenarios by means of social commitments. |
IMCSIT |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito |
k-Nearest Neighbor Classification on First-Order Logic Descriptions. |
ICDM Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Marenglen Biba, Teresa Maria Altomare Basile, Floriana Esposito |
Incremental machine learning techniques for document layout understanding. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Teresa Maria Altomare Basile, Marenglen Biba, Floriana Esposito |
Automatic Document Organization Exploiting FOL Similarity-based Techniques. |
IRCDL |
2008 |
DBLP BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
Structure Learning of Markov Logic Networks through Iterated Local Search. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
Discriminative Structure Learning of Markov Logic Networks. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jirí Hodík, Jirí Vokrínek, Jirí Bíba, Petr Becvár |
Competencies and Profiles Management for Virtual Organizations Creation. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro |
Multi-class Protein Fold Recognition Through a Symbolic-Statistical Framework. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Floriana Esposito, Nicola Di Mauro, Teresa Maria Altomare Basile |
A Fast Partial Memory Approach to Incremental Learning through an Advanced Data Storage Framework. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
30 | Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile |
Mining Time-series Sequences of Reactions for Biologically Active Patterns in Metabolic Pathways. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile |
A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks. |
KES (1) |
2007 |
DBLP DOI BibTeX RDF |
symbolic-statistical frameworks, machine learning, Systems biology, statistical relational learning, metabolic networks |
30 | Jirí Vokrínek, Jirí Bíba, Jirí Hodík, Jaromír Vybíhal, Premysl Volf |
RBVO Formation Protocol. |
Web Intelligence/IAT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Marenglen Biba, Floriana Esposito |
Generalization-Based Similarity for Conceptual Clustering. |
MCD |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Marenglen Biba, Floriana Esposito |
Similarity-Guided Clause Generalization. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jirí Vokrínek, Jirí Bíba, Jirí Hodík, Jaromír Vybíhal, Michal Pechoucek |
Competitive Contract Net Protocol. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile |
Unsupervised Discretization Using Kernel Density Estimation. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
30 | Marenglen Biba, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile |
Intelligent Methodologies for Scientific Conference Management. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Michal Pechoucek, Ondrej Lerch, Jirí Bíba |
Iterative Query-Based Approach to Efficient Task Decomposition and Resource Allocation. |
CIA |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito, Marenglen Biba |
Automatic Topics Identification for Reviewer Assignment. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Kuniaki Otsuka, Germaine Cornelissen, Noubar Aslanian, Biba Helou, Haruo Watanabe, James E. Holte, Franz Halberg |
Circadian period of human blood pressure and heart rate in clinical health under ordinary conditions. |
CBMS |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Carl A. Sunshine, D. Kaufman, Gregory Ennis, K. Biba |
Interconnection of broadband local area networks. |
SIGCOMM |
1983 |
DBLP DOI BibTeX RDF |
|
30 | M. A. Padlipsky, K. J. Biba, Richard B. Neely |
KSOS - Computer network applications. |
MARK |
1979 |
DBLP DOI BibTeX RDF |
|
30 | Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan |
Structured specification of a Security Kernel. |
Reliable Software |
1975 |
DBLP DOI BibTeX RDF |
|